RoboPol / Matematika bez hraníc odboruMathematics across domains
Váš problém. Váš model.
Jedno výpočtové jadro.
Your problem. Your model.
One computational engine.
Refined Math pripravujeme ako unikátny projekt so všeobecným využitím naprieč matematickými, vedeckými aj praktickými úlohami. Zadáte premenné, podmienky a cieľ — alebo si vytvoríte vlastný adaptér. Rôzne problémy tak bude riešiť jedno spoločné jadro RoboPol Refined.
We are developing Refined Math as a unique project for general-purpose use across mathematical, scientific and practical problems. Define variables, constraints and a goal — or create your own adapter. Different problems will share the same RoboPol Refined engine.
Verejné spustenie pripravujeme. Termín vydania ešte nie je oznámený.
Public release is being prepared. A release date has not been announced.
01 / Všeobecné prostredieA general workspace
Unikátnosť Refined Math spočíva v spojení spoločného výpočtového jadra a používateľom definovaných adaptérov. Nové zadanie prinesiete vlastným modelom, pravidlami a operáciami, pričom aplikácia aj jadro zostanú spoločné.
What makes Refined Math unique is the combination of a shared computational engine and user-defined adapters. Introduce a new problem through your own model, rules and operations while reusing the same application and engine.
A / Priame modelovanieDirect modeling
Pre pripravené matematické modely zadáte premenné a ich rozsahy, výrazy, obmedzenia a cieľ výpočtu. Knižnica adaptérov a upraviteľné príklady pomôžu začať.
For supported mathematical models, enter variables and domains, expressions, constraints and a computational goal. An adapter library and editable examples will help you get started.
B / Vlastná logikaCustom logic
Vlastný adaptér opíše štruktúru riešenia, hodnotenie aj operácie, ktorými sa riešenie mení. Novú úlohu tak prinesiete do spoločnej aplikácie bez úprav vyhľadávacieho jadra.
A custom adapter describes the solution structure, evaluation and operations that change a candidate. Bring a new problem into the shared application without modifying the search engine.
Čo obsahuje adaptérWhat an adapter contains02 / ModularitaModularity
Adaptér je opakovane použiteľný opis úlohy a jej správania pri hľadaní. Určuje, čo je riešenie, ako ho hodnotiť a akými zmenami ho zlepšovať.
An adapter is a reusable definition of a problem and its search behavior. It specifies what a solution looks like, how to evaluate it and which changes can improve it.
Aké údaje úloha potrebuje, aký majú formát a ktoré vstupy sú platné.
The data your problem needs, its format and the conditions valid inputs must satisfy.
Premenné, ich rozsahy a štruktúra kandidáta: napríklad výber, vektor alebo permutácia.
Variables, their domains and the structure of a candidate: a selection, a vector or a permutation.
Čo musí platiť a podľa čoho sa riešenia porovnávajú. Hľadanie prípustného riešenia, minimum alebo maximum.
What must hold and how candidates are compared. Find a feasible solution, minimize or maximize.
Ako vytvoriť počiatočný stav a ako meniť kandidátov. Operácie prispôsobíte štruktúre svojho problému.
How to create an initial state and modify candidates. Tailor the operations to the structure of your problem.
Opätovné vyhodnotenie podmienok a cieľa, doplnené kontrolami, ktoré definuje autor adaptéra.
Fresh evaluation of constraints and the objective, complemented by checks defined by the adapter author.
Hodnoty riešenia a vlastné veličiny dopĺňajú štatistiky výpočtu. Podoba výstupu závisí od adaptéra.
Solution values and custom metrics accompany computation statistics. The output format depends on the adapter.
Podľa príručky adaptérov a pravidiel SDK si pripravíte vlastnú definíciu — ručne alebo s pomocou externého AI nástroja. Hotový adaptér importujete do Refined Math, pridáte vlastné vstupné dáta a po kontrole kompatibility spustíte výpočet. Rovnaký adaptér potom opakovane použijete s ďalšími dátami.
Follow the adapter handbook and SDK rules to create your own definition, either yourself or with an external AI tool. Import the completed adapter into Refined Math, add your input data and run the computation after compatibility checks. Reuse the same adapter with further datasets.
Všeobecnosť stojí na podporovaných možnostiach rozhrania. Vlastný adaptér musí rešpektovať dátové typy, operácie a limity svojho profilu; širšie možnosti rozširujeme postupne.
Generality rests on supported interface capabilities. A custom adapter must follow the data types, operations and limits of its profile; broader capabilities are being developed progressively.
03 / Oblasti použitiaApplications
Vo vývojovej verzii rozvíjame nasledujúce oblasti. Každý adaptér má konkrétne definované vstupy, metódu a rozsah podporovaných úloh.
The development version explores the following areas. Each adapter defines its inputs, method and supported problem scope.
Premenné, výrazy, rovnice, nerovnice a vlastné cieľové funkcie.
Variables, expressions, equations, inequalities and custom objective functions.
Výbery, rozdelenia, permutácie, logické podmienky a konečné štruktúry.
Selections, partitions, permutations, logical constraints and finite structures.
Farbenie, rezy, pokrytie, priradenia a transportné modely.
Coloring, cuts, covering, assignments and transportation models.
Optimalizácia funkcií, odhad parametrov, aproximácie a reziduálne modely rovníc.
Function optimization, parameter fitting, approximation and residual equation models.
Kongruencie, kódovanie, matice a ohraničené symbolické či presné výpočty.
Congruences, coding, matrices and bounded symbolic or exact computations.
Nové zadanie opíšete adaptérom. Knižnica príkladov je východisko, ktoré môžete rozšíriť.
Describe a new task through an adapter. The example library is a starting point you can extend.
Vyhľadávacie adaptéry používajú Refined. Vybrané presné a symbolické úlohy využívajú samostatné doplnkové metódy; pri výsledku má byť zrejmé, ktorá metóda skutočne počítala.
Search adapters use Refined. Selected exact and symbolic tasks use separate companion methods; the result should identify which method actually performed the computation.
04 / Z vývoja aplikácieFrom application development
Prejdite si skutočné rozhranie a hotové výpočty z rôznych matematických oblastí. Každá ukážka pochádza z bežiacej aplikácie; finálna podoba produktu sa ešte môže zmeniť.
Explore the actual workspace and completed computations across mathematical areas. Every example comes from the running application; the final product design may still change.
ZväčšiťEnlarge
Hotový výpočet
Completed computation
Dvanásť bodov, tri vybrané centrá a vypočítané pokrytie. Najväčšia štvorcová vzdialenosť v tomto výsledku je 10.
Twelve points, three selected centers and their computed covering. The largest squared distance in this result is 10.
ZväčšiťEnlarge
Hotový výpočet
Completed computation
Sedem meraní a nájdený polynóm 2 − x + 3x² s celočíselnými koeficientmi. Vážený súčet štvorcov chýb je 6.
Seven observations and the fitted polynomial 2 − x + 3x² with integer coefficients. The weighted sum of squared errors is 6.
ZväčšiťEnlarge
Hotový výpočet
Completed computation
Vypočítaná krivka Bratuovej okrajovej úlohy pri λ = 1. Výsledok obsahuje numerickú aproximáciu, hodnotenie a samostatnú kontrolu.
Computed curve for the Bratu boundary-value problem at λ = 1. The result includes a numerical approximation, evaluation and a separate check.
ZväčšiťEnlarge
Hotový výpočet
Completed computation
Nájdených 64 hodnôt ±1 s nulovou chybou ortogonality. Snímka zobrazuje vrátené hodnoty a kontroly výsledku.
A set of 64 values of ±1 with zero orthogonality error. The capture shows the returned values and result checks.
ZväčšiťEnlarge
Hotový výpočet
Completed computation
Rozdelenie štyroch vrcholov do dvoch skupín. Súčet váh hrán rezu je 10; v tomto príklade výsledok dosiahol overenú hornú hranicu.
Four vertices split into two groups. The crossing-edge weight is 10; in this example the result reached a verified upper bound.
ZväčšiťEnlarge
Hotový výpočet
Completed computation
Uložený výpočet pre tri úlohy a tri stroje. Ganttov diagram zobrazuje skutočné časy operácií; dĺžka plánu je 11 časových jednotiek.
A saved computation for three jobs and three machines. The Gantt chart shows actual operation times; the schedule length is 11 time units.
ZväčšiťEnlarge
Rozhranie aplikácie
Application workspace
Výber podľa matematickej oblasti, vyhľadávanie a upraviteľné príklady. Pri snímkovaní obsahovala knižnica 33 adaptérov a 64 vzorových úloh.
Browse mathematical areas, search adapters and open editable examples. At capture time, the library contained 33 adapters and 64 sample tasks.
ZväčšiťEnlarge
Rozhranie aplikácie
Application workspace
Skutočný vstupný formulár: cieľová funkcia, neznáme premenné a samostatné dáta. Ukážka modelu výberu projektov.
The actual input form: an objective, decision variables and separate data. A project-selection model is shown.
ZväčšiťEnlarge
Rozhranie aplikácie
Application workspace
Merané iterácie, kandidátne stavy, prijaté a odmietnuté zmeny aj počítadlá vlastného adaptéra z geometrickej ukážky.
Measured iterations, candidate states, accepted and rejected moves, and custom-adapter counters from the geometric example.
Snímky boli zachytené z reálne bežiacej vývojovej aplikácie 25. októbra 2026. Grafy a hodnoty pochádzajú z dokončených výpočtov; nejde o simulované výsledky ani univerzálny benchmark. Kliknutím otvoríte väčší obrázok.
Captured from the running development application on 25 October 2026. Charts and values come from completed computations; they are neither simulated results nor a universal benchmark. Select an image to enlarge it.
Spĺňa deklarované podmienky a kontroly modelu.
Satisfies the declared constraints and model checks.
Najlepší výsledok daného behu v pridelenom čase a limitoch.
The best result of a run within its time and resource limits.
Samostatný výsledok podložený presnou metódou alebo overiteľným certifikátom.
A separate result supported by an exact method or a verifiable certificate.
05 / Pracovný postupWorkflow
Pripravujeme spoločný postup pre hotové aj vlastné adaptéry. Nová dátová sada využije tú istú definíciu problému.
We are preparing a shared workflow for ready-made and custom adapters. A new dataset can reuse the same problem definition.
Vyberte adaptér z knižnice alebo si vytvorte vlastný — sami či pomocou AI podľa príručky adaptérov a pravidiel SDK.
Choose a library adapter or create your own, either yourself or with AI, following the adapter handbook and SDK rules.
Vlastný adaptér importujte do aplikácie vo formáte uvedenom v príručke. Pridajte dátovú sadu a nastavte rozpočet výpočtu.
Import your custom adapter into the application using the format specified in the handbook. Add a dataset and set the computation budget.
Aplikácia skontroluje vstup a kompatibilitu. Refined využije operácie vášho vyhľadávacieho adaptéra.
The application checks input and compatibility. Refined uses your search adapter’s operations.
Prejdite riešenie, overenie a štatistiky. Zmeňte dáta a zopakujte výpočet.
Review the solution, validation and statistics. Change the data and repeat the computation.
Dostupnosť produktuProduct availability
Solver ešte nie je verejne dostupný. Ako prvú pripravujeme online aplikáciu, neskôr licencovanú desktopovú verziu. Termín vydania, ceny a finálne limity zverejníme po ich potvrdení.
The solver is not publicly available yet. We are preparing an online application first, followed by a licensed desktop edition. Release timing, pricing and final limits will be published once confirmed.
Kontaktovať RoboPolContact RoboPolPripravovaná prvá verzia
Planned first release
Plánovaná ďalšia etapa
Planned subsequent phase
06 / FAQ
Zatiaľ nie. Aplikácia je vo vývoji a solver ešte nie je verejne dostupný. Táto stránka predstavuje pripravovaný produkt. Termín vydania a ceny zverejníme po ich potvrdení.
Not yet. The application is under development and the solver is not publicly available. This page introduces the upcoming product. Release timing and pricing will be announced once confirmed.
Cieľom je umožniť vlastné adaptéry naprieč oblasťami. Úlohu treba vyjadriť podporovanými dátami, hodnotením a operáciami. Každý profil adaptéra má svoj rozsah možností a limity; všeobecnosť neznamená záruku vyriešenia každej úlohy ani automatický dôkaz optima.
The goal is to support custom adapters across domains. A task must be expressed through supported data, evaluation and operations. Each adapter profile has capabilities and limits; generality does not guarantee a solution to every problem or an automatic proof of optimality.
Pri pripravenom adaptéri upravíte dáta a nastavenia. Vlastný adaptér si môžete vytvoriť sami alebo s pomocou externého AI nástroja podľa príručky adaptérov a SDK. Hotovú definíciu potom importujete do Refined Math a pripojíte vlastné dáta. Správnosť pravidiel a operátorov treba skontrolovať; samotný výpočet nebude závisieť od LLM.
With a ready-made adapter, you edit data and settings. Create your own adapter yourself or with an external AI tool, following the adapter handbook and SDK. Then import the completed definition into Refined Math and attach your data. The rules and operators must be checked; computation itself will not depend on an LLM.
TSP a JSSP sú hotové aplikácie pre konkrétny typ úloh. Refined Math pripravujeme ako všeobecné prostredie, v ktorom pravidlá nového problému prinesie adaptér používateľa. Spoločným základom je optimalizačné jadro RoboPol Refined.
TSP and JSSP are released applications for specific problem types. Refined Math is being developed as a general workspace in which a user adapter supplies the rules of a new problem. The shared foundation is the RoboPol Refined optimization engine.
Nie. Prípustné riešenie spĺňa podmienky modelu. Najlepšie nájdené riešenie je najlepšie počas daného behu. Dôkaz optima alebo nemožnosti riešenia je samostatné tvrdenie, ktoré vyžaduje príslušnú presnú metódu alebo overiteľný certifikát.
No. A feasible solution satisfies the model constraints. A best-found solution is the best obtained during a particular run. A proof of optimality or infeasibility is a separate claim requiring an appropriate exact method or a verifiable certificate.