TSP a univerzálny Robopol Refined solver

TSP and Universal Robopol Refined Solver

Výskum algoritmov pre problém obchodného cestujúceho a univerzálneho guided search jadra pre kombinatorickú optimalizáciu

Research on traveling salesman algorithms and a universal guided search core for combinatorial optimization

Úvod do problému obchodného cestujúceho

Introduction to the Traveling Salesman Problem

Problém obchodného cestujúceho (Traveling Salesman Problem - TSP) je jedným z najznámejších problémov v oblasti kombinatorickej optimalizácie. Problém spočíva v nájdení najkratšej možnej trasy, ktorá prechádza všetkými zadanými bodmi (mestami) práve raz a vracia sa do východiskového bodu.

The Traveling Salesman Problem (TSP) is one of the most famous problems in combinatorial optimization. The problem consists of finding the shortest possible route that passes through all given points (cities) exactly once and returns to the starting point.

TSP je NP-ťažký problém, čo znamená, že neexistuje známy algoritmus, ktorý by ho riešil v polynomiálnom čase. Pre praktické aplikácie sa preto používajú rôzne heuristické a aproximačné algoritmy, ktoré poskytujú dostatočne dobré riešenia v rozumnom čase.

TSP is an NP-hard problem, which means that there is no known algorithm that would solve it in polynomial time. For practical applications, various heuristic and approximation algorithms are therefore used, which provide sufficiently good solutions in a reasonable time.

Aktuálne TSP Solver algoritmy a režimy Refined

Current TSP Solver Algorithms and Refined Modes

TSP výskum nie je len teória. Aktuálne algoritmy sú dostupné aj v online TSP Solveri a v hlavnej desktop verzii. Implementácia Robopol metód používa NUMBA JIT, takže prvý beh môže byť pomalší pre kompiláciu, ale ďalšie výpočty sú výrazne rýchlejšie.

The TSP research is not only theoretical. The current algorithms are available in the online TSP Solver and in the main desktop version. The Robopol methods use NUMBA JIT, so the first run may be slower because of compilation, while subsequent runs are much faster.

Robopol Refined guided search through a rugged optimization landscape
Robopol Refined neprechádza celý priestor naslepo. Jadro udržiava sľubné fronty riešení, skúša lokálne zlepšenia, perturbácie a podľa kvality adaptera vie smerovať výpočet do častí priestoru, kde má zmysel páliť čas.
Robopol Refined does not scan the whole space blindly. The core keeps promising search frontiers, applies local improvement and perturbation, and with a good adapter it directs time toward regions worth exploring.

Rýchlosť a veľké datasety

Speed and Large Datasets

  • Robopol Fast: rýchla heuristika pre veľké AIR datasety, kde je dôležitý čas výpočtu.
  • Turbo / Superboost: režimy pre veľmi veľké množiny bodov, batching a nižšiu spotrebu RAM.
  • Nearest Neighbor: extrémne rýchly baseline pre rýchlu kontrolu, s nižšou kvalitou.
  • Robopol Fast: fast heuristic for large AIR datasets where runtime matters.
  • Turbo / Superboost: modes for very large point sets, batching and lower RAM use.
  • Nearest Neighbor: extremely fast baseline for quick checks, with lower quality.

Kvalita a hybridy s LKH

Quality and LKH Hybrids

  • LKH-3.0.10: silný benchmarkový solver pre kvalitné TSP riešenia, s kandidátmi ako ALPHA, Delaunay, nearest-neighbor alebo POPMUSIC.
  • LKH + Robopol Escape Polish: LKH postaví silnú trasu, Robopol ju cielene vylepšuje a hľadá únik z lokálneho minima.
  • LKH + Robopol Refined: kvalitný hybridný režim. Ak má Refined zapnuté Enable Edge-Guided Search, hybrid vie byť rýchly, pretože hľadanie sa sústredí na sľubné hrany a okolie silnej LKH trasy.
  • Robopol Refined: ILS/beam-style refinovanie pre malé a stredné inštancie, kde je prioritou kvalita.
  • LKH-3.0.10: strong benchmark solver for high-quality TSP solutions, with candidate modes such as ALPHA, Delaunay, nearest-neighbor or POPMUSIC.
  • LKH + Robopol Escape Polish: LKH builds a strong route, then Robopol targets escape and polishing around it.
  • LKH + Robopol Refined: a strong hybrid quality mode. When Refined uses Enable Edge-Guided Search, the hybrid can remain fast because the search focuses on promising edges and the neighborhood of a strong LKH route.
  • Robopol Refined: ILS/beam-style refinement for small and medium instances where quality is the priority.

Dva režimy Robopol Refined: Enable Edge-Guided Search = enabled je rýchlejší režim. Refined sa sústredí na aktuálnu trasu, kandidátne/hraničné/hot/redukčné hrany a preto míňa čas na sľubnejšie časti priestoru. Je výrazne rýchlejší, ale môže byť menej presný, lebo vynecháva veľa širokých fallback perturbácií. Pri hybridoch s LKH je práve tento zapnutý režim dôležitý pre rýchlosť, lebo Refined už neštartuje z nuly, ale pracuje okolo silnej LKH trasy. Disabled je pomalší, širší heavy-style režim, ktorý prehľadáva väčší priestor a môže nájsť lepšiu trasu, keď je kvalita dôležitejšia než čas výpočtu.

Two Robopol Refined modes: Enable Edge-Guided Search = enabled is the faster mode. Refined focuses on the current tour, candidate/tour/hot/reduction edges and spends time on more promising regions. It is much faster, but can be less precise because it skips many broad fallback perturbations. In LKH hybrids, this enabled mode is important for speed because Refined does not start from scratch; it works around a strong LKH route. Disabled is the slower and broader heavy-style mode that searches a larger space and can find a better route when quality matters more than runtime.

Pri porovnaní s LKH závisí rýchlosť aj kvalita od nastavenia LKH. Oproti LKH s kandidátmi typu ALPHA môže byť Robopol Fast výrazne rýchlejší; pri nastaveniach založených na Delaunay kandidátoch býva čas približne porovnateľný. Pre maximálnu kvalitu je najzaujímavejší režim LKH + Robopol Refined, pretože LKH dodá silnú trasu a Refined potom prehľadáva jej okolie aj úniky z lokálnych miním.

When comparing with LKH, both speed and quality depend on the LKH settings. Compared with LKH using ALPHA candidates, Robopol Fast can be significantly faster; with Delaunay-based candidate settings, runtime is often roughly comparable. For maximum quality, LKH + Robopol Refined is the most interesting mode, because LKH provides a strong route and Refined then explores its neighborhood and escape paths from local minima.

Robopol Refined ako univerzálny optimalizačný engine

Robopol Refined as a Universal Optimization Engine

Robopol Refined už nie je iba algoritmus pre TSP. Je to univerzálne guided search jadro pre kombinatorickú optimalizáciu, kde jadro rieši beam/frontier search, viacnásobné behy, perturbácie, lokálne zlepšovanie, paralelizáciu a diagnostiku, zatiaľ čo konkrétny problém dodáva vlastný stav, skóre, ťahy a guidance edges.

Robopol Refined is no longer only a TSP algorithm. It is a universal guided search core for combinatorial optimization, where the core handles beam/frontier search, multiple runs, perturbation, local improvement, parallel execution and diagnostics, while each concrete problem provides its own state, score, moves and guidance edges.

Robopol Refined exploring a complex mathematical optimization valley
Myšlienka Refined je vhodná aj mimo ciest: riešenie je bod v obrovskom priestore možností, skóre je výška terénu a engine sa snaží nájsť hlbšie údolia bez toho, aby bol natvrdo naprogramovaný iba pre jednu úlohu.
The Refined idea also works beyond routes: a solution is a point in a large search space, the score is the terrain height, and the engine searches for deeper valleys without being hard-coded for only one task.

Rovnaké jadro môže byť napojené na rôzne triedy úloh: TSP a routing, JSSP a scheduling, set cover, knapsack, bin packing, graph coloring, max-cut alebo assignment problémy. Dôležitá je adapter vrstva: čím lepšie problem-specific edges a lokálne ťahy adapter poskytne, tým viac sa univerzálne jadro správa ako špecializovaný solver pre danú doménu.

The same core can be connected to different problem classes: TSP and routing, JSSP and scheduling, set cover, knapsack, bin packing, graph coloring, max-cut or assignment problems. The adapter layer is essential: the better the problem-specific edges and local moves supplied by the adapter, the more the universal core behaves like a specialized solver for that domain.

V samostatnom Rust jadre refined_engine už boli skúšané rozdielne typy úloh: Max-Cut, set cover, graph coloring, knapsack, bin packing, partition, QAP, Golomb ruler, Costas array a aj matematické black-box funkcie typu Rastrigin, Ackley, Rosenbrock alebo členité rugged landscape testy. To je dôležité, lebo nejde iba o ďalší TSP trik, ale o opakovateľný spôsob, ako preniesť silné prehľadávanie medzi doménami.

The standalone Rust refined_engine core has already been tested on different task types: Max-Cut, set cover, graph coloring, knapsack, bin packing, partition, QAP, Golomb ruler, Costas array and mathematical black-box functions such as Rastrigin, Ackley, Rosenbrock and rugged landscape tests. That matters because this is not only another TSP trick, but a repeatable way to move strong search across domains.

Pri TSP môže Robopol Refined so silným edge-guided adapterom dorovnať alebo prekonať LKH na vybraných behoch. Pri JSSP sa v aktuálnych experimentoch vie držať blízko CP-SAT aj na ťažších inštanciách. Cieľom nie je tvrdiť, že jeden engine automaticky porazí každý špecializovaný solver, ale ukázať, že univerzálne jadro s kvalitným adapterom môže byť reálne konkurencieschopné.

For TSP, Robopol Refined with a strong edge-guided adapter can match or beat LKH on selected runs. For JSSP, current experiments can stay close to CP-SAT even on harder instances. The point is not to claim that one engine automatically beats every specialized solver, but to show that a universal core with a strong adapter can be genuinely competitive.

Comparison of refined search on mathematical function minimization examples
Funkčné minimá ukazujú inú stranu jadra: pri dobre navrhnutom adapteri vie rovnaká search logika pracovať aj s divokými matematickými povrchmi, nielen s permutáciami miest v TSP.
Function-minimization tests show another side of the core: with a suitable adapter, the same search logic can work on rugged mathematical surfaces, not only on permutations of cities in TSP.

Praktické čítanie výsledkov: Refined je metaheuristika, nie exaktný dôkaz optima. Jeho hodnota je v tom, že vie zobrať všeobecné jadro, pridať malé doménové guidance edges a dostať veľmi silné riešenia bez rokov vývoja úzko špecializovaného solvera pre každú jednu úlohu.

How to read the results: Refined is a metaheuristic, not an exact proof of optimality. Its value is that it can take a general core, add small domain-specific guidance edges and produce strong solutions without years of building a narrowly specialized solver for every single task.

Nová dimenzia: 3D TSP a Reálne Cesty

New Dimension: 3D TSP and Real Roads

Priestorová optimalizácia (3D)

Spatial Optimization (3D)

V roku 2026 sme rozšírili solver o plnú podporu Z-osi (výšky). Algoritmus teraz optimalizuje pohyb v 3D priestore, čo je kritické pre:

In 2026, we expanded the solver with full support for the Z-axis (height). The algorithm now optimizes movement in 3D space, which is critical for:

  • Drony: Plánovanie letových hladín a obchádzanie prekážok.
  • Robotické ramená: Efektívny pohyb v automobilovom priemysle.
  • 3D Tlač: Minimalizácia "travel moves" tlačovej hlavy.

Cestné siete (Google Maps)

Road Networks (Google Maps)

Teoretická vzdialenosť (vzdušnou čiarou) je v logistike nepresná. Náš solver teraz integruje reálne cestné dáta:

Theoretical distance (as the crow flies) is inaccurate in logistics. Our solver now integrates real road data:

  • Výpočet matice vzdialeností cez reálnu cestnú sieť.
  • Zohľadnenie jednosmeriek a dopravných obmedzení.
  • Export priamo do navigácie.

Benchmark 2026: orientačné porovnanie

Benchmark 2026: Indicative Comparison

Benchmark tu beriem ako praktické odporúčanie podľa typu úlohy, nie ako jednu univerzálnu tabuľku víťazov. Pri TSP je dôležité rozlišovať rýchly praktický výpočet od režimu, kde sa ide po maximálnej kvalite trasy.

This benchmark is presented as a practical recommendation by problem type, not as a single universal winner table. For TSP, it is important to separate fast practical computation from the mode focused on maximum route quality.

  • Do 100 bodov: najzaujímavejšie sú hybridy LKH + Robopol Refined, ktoré v testovaných prípadoch vedia zlepšiť samotný LKH. So zapnutým Enable Edge-Guided Search pritom vedia zostať rýchle.
  • 10k - 100k bodov: pre kvalitu odporúčam opäť hybridný prístup LKH + Robopol Refined alebo LKH + Robopol Escape Polish, nie Robopol Fast ako hlavné benchmarkové porovnanie. Pri zapnutom edge-guided režime sa Refined v hybride sústredí na sľubné časti LKH trasy, takže čas výpočtu ostáva praktický.
  • Extrémne veľké datasety: Robopol Fast/Turbo ostáva praktický režim, keď je najdôležitejšie dostať veľmi veľkú úlohu do rozumného času a pamäte.
  • Black-box a funkčné minimá: Refined adapter bol skúšaný na funkciách ako Rastrigin, Ackley, Rosenbrock a členité rugged landscape testy.
  • Grafové, packing a scheduling úlohy: univerzálne jadro dáva dobré výsledky na Max-Cut, set cover, coloring, knapsack, bin packing, JSSP a QAP adapteroch.
  • Up to 100 points: the most interesting choice is the LKH + Robopol Refined hybrid, which can improve standalone LKH in tested cases. With Enable Edge-Guided Search enabled, the hybrid can still remain fast.
  • 10k - 100k points: for quality, the recommended approach is again LKH + Robopol Refined or LKH + Robopol Escape Polish, not Robopol Fast as the main benchmark comparison. With edge-guided mode enabled, Refined focuses on promising parts of the LKH route, keeping runtime practical.
  • Extreme datasets: Robopol Fast/Turbo remains a practical mode when the priority is solving a very large instance within reasonable time and memory.
  • Black-box and function minima: the Refined adapter has been tested on functions such as Rastrigin, Ackley, Rosenbrock and rugged landscape tests.
  • Graph, packing and scheduling tasks: the universal core gives strong results on Max-Cut, set cover, coloring, knapsack, bin packing, JSSP and QAP adapters.

Publikácie a zdroje

Publications and Resources

Nový paper opisuje Robopol Refined ako univerzálny guided search engine pre kombinatorickú optimalizáciu. Verejne vysvetľuje architektúru, adapter model a guidance edge koncept, ale zámerne nezverejňuje kompletné interné know-how ako presné ranking vzorce, tuning pravidlá alebo benchmark-specific konfigurácie.

The new paper presents Robopol Refined as a universal guided search engine for combinatorial optimization. It publicly explains the architecture, adapter model and guidance-edge concept, while intentionally not disclosing the full internal know-how such as exact ranking formulas, tuning rules or benchmark-specific configurations.

Robopol Refined: A Universal Guided Search Engine for Combinatorial Optimization (Zenodo)

Starší TSP paper ponechávam ako doplnkový zdroj, pretože podrobnejšie ukazuje, ako sa Robopol Refined správa priamo na probléme obchodného cestujúceho:

The older TSP paper is kept as a supplementary source, because it shows in more detail how Robopol Refined behaves directly on the traveling salesperson problem:

The Robopol Refined Algorithm for the Traveling Salesperson Problem (PDF)

Praktické TSP algoritmy sú dostupné v online aplikácii TSP Solver. Kratší blogový článok k univerzálnemu jadru je tu: Robopol Refined Engine.

The practical TSP algorithms are available in the online TSP Solver. A shorter blog article about the universal core is here: Robopol Refined Engine.

Praktické využitie univerzálneho Robopol Refined

Practical Uses of Universal Robopol Refined

Robopol Refined už nie je iba výskum pre TSP. Je to univerzálne guided search jadro, ktoré sa dá napojiť na rôzne kombinatorické problémy cez problem-specific adapter. Adapter dodá stav úlohy, skóre, povolené ťahy a guidance edges, zatiaľ čo jadro rieši samotné prehľadávanie, viacnásobné behy, lokálne zlepšovanie a paralelizáciu.

Robopol Refined is no longer only TSP research. It is a universal guided search core that can be connected to different combinatorial problems through a problem-specific adapter. The adapter provides the task state, score, allowed moves and guidance edges, while the core handles the search itself, multiple runs, local improvement and parallel execution.

  • Routing a plánovanie trás - TSP, varianty vehicle routing, drony, robotické ramená, pohyb strojov a optimalizácia reálnych ciest.
  • Scheduling a výroba - JSSP, plánovanie operácií na strojoch, poradie výrobných krokov, CNC, 3D tlač alebo automatizované pracoviská.
  • Packing a alokácia zdrojov - Knapsack, bin packing, cutting stock, rozdelenie kapacít a výber kombinácií pod obmedzeniami.
  • Covering a výber podmnožín - Set cover, výber funkcií, pokrytie požiadaviek alebo hľadanie malej množiny rozhodnutí s veľkým efektom.
  • Grafové a sieťové úlohy - Graph coloring, max-cut, assignment, návrh sietí a hľadanie kvalitných konfigurácií v diskrétnych štruktúrach.
  • AI nástroje a rozhodovacia podpora - Univerzálne jadro môže slúžiť ako výpočtový pomocník pre LLM/MCP nástroje, keď používateľ zadá kombinatorický problém v bežnom jazyku.
  • Routing and path planning - TSP, vehicle routing variants, drones, robotic arms, machine movement and real-road optimization.
  • Scheduling and manufacturing - JSSP, machine operation planning, ordering of production steps, CNC, 3D printing or automated workplaces.
  • Packing and resource allocation - Knapsack, bin packing, cutting stock, capacity allocation and selecting combinations under constraints.
  • Covering and subset selection - Set cover, feature selection, requirement coverage or finding a small set of decisions with a large effect.
  • Graph and network tasks - Graph coloring, max-cut, assignment, network design and searching for strong configurations in discrete structures.
  • AI tools and decision support - The universal core can act as a computational helper for LLM/MCP tools when a user describes a combinatorial problem in natural language.

TSP algoritmy sú prakticky dostupné v programe TSP Solver. Univerzálny Robopol Refined ide ďalej: cieľom je použiť rovnaké prehľadávacie jadro aj mimo TSP všade tam, kde problém vie poskytnúť dobrý adapter a doménové guidance edges.

The TSP algorithms are available in the TSP Solver application. Universal Robopol Refined goes further: the goal is to use the same search core beyond TSP wherever a problem can provide a good adapter and domain-specific guidance edges.

Ďalšie články na blogu More blog articles