Ako vlastné adaptéry rozširujú možnosti Refined Math
How custom adapters extend Refined Math
Predstavujeme Refined Math Online Free, bezplatnú webovú aplikáciu postavenú na všeobecnej optimalizačnej infraštruktúre RoboPol Refined. Jej 36 pripravených adaptérov a 74 vzorových úloh je východiskom. Importom vlastného adaptéra pridáte nový typ úlohy. Vy určíte, čo je prípustné riešenie, akými krokmi sa dá meniť a podľa čoho sa dva návrhy porovnajú. Spoločné jadro potom podľa týchto pravidiel vedie hľadanie. Ten istý adaptér môžete znova použiť s ďalšími dátami.
Meet Refined Math Online Free, a free web application built on RoboPol Refined’s general-purpose optimization infrastructure. Its 36 ready-made adapters and 74 sample tasks are a starting point. Importing your own adapter adds a new kind of problem. You define what a feasible solution looks like, which changes are allowed and how to compare two candidates. The shared engine uses those rules to guide the search. Reuse the same adapter when you have another dataset.
Na produktovej stránke Refined Math nájdete prehľad podporovaných výpočtov, ukážky výsledkov a limity bezplatnej verzie. Ak si chcete rovno otvoriť vzorovú úlohu, spustite Refined Math Online.
The Refined Math product page describes the supported calculations, shows example results and lists the Free limits. To open a sample task and try it yourself, launch Refined Math Online.
Kam umiestniť tri servisné strediská, aby aj najvzdialenejší zákazník mal jedno nablízku? A ako zvoliť koeficienty krivky, aby zodpovedala meraniam? V prvom prípade hľadáme tri miesta na mape, v druhom tri čísla. V oboch prípadoch potrebuje Refined vedieť, ako vyzerá jeden návrh, ako ho zmeniť a podľa čoho spoznať lepší. Tieto pravidlá dodáva adaptér.
Where should three service centers go so that even the most distant customer has one nearby? And which curve best fits a set of measurements? The first problem asks for three places on a map, the second for three coefficients. In both, Refined needs a way to represent a candidate, change it and decide whether the change helps. An adapter supplies those rules.
Čo sa mení, keď zmeníte úlohu What changes when you switch problems
Vo váženom grafe so štyrmi vrcholmi skúšame rozdeliť vrcholy do dvoch skupín. Skóre je súčet váh hrán vedúcich medzi skupinami. V zobrazenej štvorici sa podarilo prerezať všetky štyri hrany. Ich váhy 3, 2, 4 a 1 dávajú spolu 10. Keďže ide o súčet váh všetkých hrán, v tomto grafe už vyššia hodnota nie je možná.
For a weighted graph with four vertices, a candidate divides the vertices into two groups. Its score is the total weight of edges crossing between them. In the square shown above, all four edges cross. Their weights of 3, 2, 4 and 1 sum to 10. That is the weight of every edge in this graph, so it also establishes an upper bound.
Pri polynomiálnej regresii adaptér pracuje s koeficientmi. Na siedmich meraniach našiel polynóm 2 − x + 3x² s váženým súčtom štvorcov chýb 6. Rozdiel oproti rezu grafu vidno priamo na obrázku. Odchýlka krivky od meraní je súčasťou výsledku a dá sa posúdiť pri každom bode.
For polynomial regression, the adapter works with coefficients. On seven measurements it found 2 − x + 3x², with a weighted sum of squared errors of 6. The plot lets you see where the discrepancy comes from by comparing the curve with each measured point.
Knižnica obsahuje aj rozvrhovanie operácií na strojoch s odstávkami, kvadratické priradenie, batoh, farbenie grafov, Hadamardove matice a numerické aproximácie diferenciálnych rovníc. Pri rozvrhu môžete skontrolovať začiatok a koniec každej operácie. Pri Bratuovej okrajovej úlohe dostanete krivku a kontrolu rezídua. V tom istom prostredí sú dostupné aj presné konečné počítanie a symbolické derivácie či integrály cez samostatné matematické metódy.
The library also covers machine scheduling with downtime, quadratic assignment, knapsack, graph coloring, Hadamard matrices and numerical approximations to differential equations. A schedule exposes the start and finish of each operation. The Bratu boundary-value example returns a curve and a residual check. The same workspace offers exact finite counting and symbolic derivatives and integrals through dedicated mathematical methods.
Vlastné dáta alebo vlastné pravidlá? New data or new rules?
Vráťme sa k servisným strediskám. Hotový geometrický adaptér vyberá tri centrá spomedzi dvanástich bodov. Pre každý bod nájde najbližšie zvolené centrum a hodnotí najväčšiu z týchto vzdialeností. V uloženom výsledku je najväčšia štvorcová vzdialenosť 10, teda polomer pokrytia je √10. Ak pridáte súradnice svojich lokalít v podporovanom formáte, rovnaké pravidlo použijete na vlastné dáta.
Return to the service centers. The ready-made geometry adapter selects three centers from twelve points. It finds the nearest selected center for each point and scores the largest of those distances. In the saved result the largest squared distance is 10, giving a covering radius of √10. Supply coordinates for your own locations in the supported format and the same rule applies to your data.
Teraz si predstavte, že každá lokalita má iný počet servisných výjazdov. Zaujíma vás celková najazdená vzdialenosť za mesiac. Dve trojice centier môžu mať rovnaký polomer pokrytia, ale jedna môže byť oveľa bližšie k miestam s častými výjazdmi. Na takéto zadanie si môžete vytvoriť vlastný adaptér.
Now suppose each location generates a different number of service calls. You want to minimize total monthly travel. Two sets of three centers might cover the same radius, yet one could be much closer to the busiest locations. This is a reason to write your own adapter.
Ako navrhnúť adaptér pre vlastný problém Designing an adapter for your own problem
Pre tento návrh by vstupom bola tabuľka vzdialeností a počty výjazdov. Jeden kandidát by označoval presne tri otvorené strediská. Jeho cenu vypočítate tak, že pre každú lokalitu vynásobíte vzdialenosť k najbližšiemu stredisku počtom výjazdov a príspevky sčítate. Pre vlastný program môžete vzdialenosti vyjadriť napríklad v celých metroch.
For this proposed adapter, the inputs would be a distance table and a call count for each location. A candidate would select exactly three open centers. To score it, multiply each location’s distance to its nearest open center by its call count, then sum the contributions. A custom program could represent distances in whole meters.
Jedným operátorom môže byť zámena otvoreného centra za zatvorené. Po takej zmene ostanú vybrané práve tri a hodnotenie ukáže, či sa súhrnná dĺžka výjazdov skrátila. Kontrola výsledku znovu spočíta otvorené centrá a prepočíta celkovú vzdialenosť z vráteného výberu. Ďalší mesiac potom stačí vymeniť počty výjazdov. Definíciu, operátor aj kontrolu použijete znova.
One operator could swap an open center for a closed one. That move preserves the count of three, and a fresh score tells you whether it reduces travel. A result check would count the selected centers and recompute the total from the returned selection. Next month, update the call counts and reuse the definition, operator and check.
Ak úlohu vyjadríte premennými, obmedzeniami a cieľovou funkciou, môžete začať priamo v editore modelov. Na vlastné hodnotenie a operátory slúži Program SDK s podporovanými inštrukciami v JSON. Rust SDK umožňuje napísať reprezentáciu stavu a operácie v Ruste, zostaviť modul do WebAssembly a importovať hotový balík adaptéra. Vlastnú definíciu a jednotlivé dátové sady si môžete ukladať oddelene.
If variables, constraints and an objective express the problem, start in the model editor. For custom scoring and operators, the Program SDK provides supported instructions in JSON. With the Rust SDK you can write the state representation and operations in Rust, compile the module to WebAssembly and import the packaged adapter. Save the definition and its individual datasets separately.
Na prvý pokus je v slovenskej príručke pripravený výber terénnej výbavy. Máte vybrať štyri z ôsmich položiek, dodržať rozpočet aj hmotnostný limit a maximalizovať úžitok. V aplikácii zvoľte import zadania. Vyskúšajte najprv zadanie s rozpočtom 30 a potom variant s rozpočtom 27. Môžete porovnať, ktoré položky sa pri sprísnení rozpočtu oplatí ponechať.
The adapter handbook includes a field equipment example. Choose four of eight items, respect the budget and weight limit, and maximize their benefit. Use the task import in the application. Start with the task with a budget of 30 and then the version with a budget of 27. Compare which items are worth keeping when the budget tightens.
Dva návrhy pre výskum a priemysel Two proposed adapters for research and industry
V oboch návrhoch by Refined rozhodoval, ktoré možnosti preskúmať ďalej. Odborník by do adaptéra vložil pravidlá svojho odboru. Samostatná aplikácia by posielala vybraných kandidátov externému modelu alebo simulátoru a vracala vypočítané údaje do ďalšieho kola hľadania. Takéto prepojenie by bolo potrebné vytvoriť mimo dnešnej knižnice Online Free.
In both designs, Refined would decide which possibilities to explore next. A domain expert would supply the adapter rules. A separate application would send selected candidates to an external model or simulator and return the resulting data for the next round of search. Each integration would need to be built separately from the current Online Free library.
Ako by Refined a AlphaFold 3 mohli pomôcť pri hľadaní liečiv How Refined and AlphaFold 3 could help find drug candidates
Predstavte si tím, ktorý hľadá malú molekulu schopnú tlmiť činnosť konkrétneho enzýmu. Chemik by vybral východiskové molekuly a povolil úpravy, ktoré dávajú chemický zmysel, napríklad výmenu jedného bočného reťazca. Refined by z týchto možností vytváral varianty a udržiaval vo výbere viac rodín zlúčenín. Jednoduché pravidlá by najprv vyradili návrhy s neplatnou väzbovosťou alebo s vlastnosťami mimo zadaných medzí.
Imagine a team looking for a small molecule that inhibits a particular enzyme. A chemist would choose starting molecules and specify chemically plausible changes, such as replacing a side chain. Refined would explore those variants while retaining candidates from several compound families. Initial rules would screen out invalid valences and properties outside the chosen ranges.
Pre užší výber by tím použil AlphaFold 3, ktorý dokáže predpovedať spoločnú priestorovú štruktúru proteínu a ligandu. Vedcov by zaujímalo napríklad to, či sa zmenený bočný reťazec podľa predikcie zmestí do väzbového miesta a aké kontakty tam vytvorí. Výsledky by usmernili ďalšie návrhy. Väzbovú afinitu a schopnosť skutočne tlmiť enzým by tím zmeral v laboratóriu a získané hodnoty by mohol použiť v ďalšom kole hľadania. Podrobnosti o predikcii štruktúr opisuje pôvodná publikácia o AlphaFold 3 v časopise Nature.
For the shortlist, the team would use AlphaFold 3, which can predict the joint structure of a protein and a ligand. For example, does the modified side chain appear to fit inside the binding site, and what contacts is it predicted to make? Those results could guide subsequent proposals. The team would measure binding affinity and enzyme inhibition in the laboratory and could feed the measurements back into another search round. The structural prediction method is described in Abramson et al., Nature.
Ako chladiť vstrekovaciu formu rovnomernejšie Designing a cooling channel for an injection mold
Pri plastovom kryte s hrubším rebrom môže byť zvyšok výlisku pripravený na vybratie, kým rebro ešte chladne. Konštruktér by preto opísal chladiaci kanál niekoľkými bodmi jeho trasy a priemerom. Adaptér by zachoval vstup a výstup chladiacej kvapaliny, odstup od dutiny formy a výrobný limit pre polomer ohybu. Jednou povolenou zmenou by bolo posunúť úsek kanála bližšie k horúcemu rebru.
A thick rib in a plastic housing may still be cooling when the rest of the part is ready to eject. An engineer could describe a cooling channel by points along its path and its diameter. The adapter would preserve the coolant inlet and outlet, clearance from the mold cavity and a manufacturable bend radius. One allowed change might move a channel segment closer to the hot rib.
Pri rovnakom prietoku by simulátor pre každý vybraný návrh vrátil teplotné pole v čase a tlakovú stratu. Refined by hľadal najkratší čas, za ktorý aj najteplejšie miesto dosiahne teplotu na vybratie výlisku, pri dodržaní limitu teplotných rozdielov aj možností čerpadla. Najsľubnejšiu geometriu by konštruktér porovnal s pôvodnou formou meraním teploty pri rebre, poklesu tlaku a dĺžky cyklu. Príklad použitia týchto troch kritérií v návrhu foriem opisuje štúdia Metal Additive Manufacturing of Plastic Injection Molds with Conformal Cooling Channels.
At the same coolant flow rate, a simulator would return the temperature field over time and the pressure drop for each shortlisted design. Refined would seek the shortest time for even the hottest point to reach ejection temperature, subject to limits on temperature variation and pump capacity. An engineer could compare the most promising geometry with the original mold by measuring temperature near the rib, pressure drop and cycle time. A study using these three design criteria is Metal Additive Manufacturing of Plastic Injection Molds with Conformal Cooling Channels.
Čo zmení výkonnejší hardvér? What does more computing power buy you?
Adaptér určuje, čo sa dá hľadať. Hardvér a výpočtový rozpočet určujú, koľko možností možno preskúmať za daný čas. Pri výbere servisných stredísk môže jeden beh začať s trojicou miest na severe, druhý s miestami na juhu. Na trojjadrovom procesore sa tieto výpočty delia o tri jadrá. Ak úloha ponúka dostatok nezávislej práce, Refined dokáže využiť ďalšie jadrá na súbežné behy alebo na vyhodnocovanie viacerých kandidátov naraz. Za rovnaký čas tak môže preveriť viac rozmiestnení a zvýšiť šancu, že nájde lepšie.
The adapter defines what to search for. The hardware and computation budget determine how many possibilities can be explored in a given time. In the service-center example, one run might start with three northern sites and another with sites in the south. On a three-core processor, those calculations share three cores. Given enough independent work, Refined can use additional cores to run several searches or evaluate several candidates in parallel. Checking more placements gives the search more chances to find a better one within the same time limit.
Predstavte si výpočtovú farmu s 10 000 procesormi a grafickými akcelerátormi (GPU). Plánovač by mohol rozdeliť nezávislé behy toho istého adaptéra medzi stroje a porovnať najlepšie rozmiestnenia z každého behu. Pri podporovaných adaptéroch v natívnej verzii môže GPU predbežne ohodnotiť veľkú dávku návrhov a užší výber odovzdať CPU na kontrolu. Skutočný prínos závisí od toho, koľko práce možno rozdeliť a koľko času zaberie prenos dát. Takáto farma by si vyžadovala samostatné distribuované nasadenie. Refined Math Online Free dnes využíva serverové CPU v rámci limitov bezplatnej služby.
Imagine a computing farm with 10,000 processors and GPU accelerators. A scheduler could distribute independent runs of the same adapter across machines and compare the best placements from each run. With supported native adapters, a GPU can score a large batch of proposals and pass a shortlist to the CPU for checking. The practical gain depends on how much work can be split up and how long it takes to move the data. A farm of this size would require a separate distributed deployment. Refined Math Online Free runs on server CPUs within the free service’s resource limits.
Keď má výsledok presný dôkaz When the answer has an exact proof
V plnej lokálnej verzii Refined Math trval rozklad tohto 71-ciferného čísla približne 40 sekúnd (44,67 s za celý beh). Refined v tomto behu vybral polynóm pre číselné sito. CADO-NFS dokončil rozklad a PARI potvrdilo prvočíselnosť oboch faktorov. Nezávislá kontrola ich vynásobila a dostala presne zadané číslo. Tento veľký vstup využil dlhý výpočet plnej verzie. Online Free podporuje krátku faktorizáciu čísel od 2 do 264 − 1.
The full local edition of Refined Math factored this 71-digit integer in about 40 seconds (44.67 seconds for the complete run). Refined selected a polynomial for the number field sieve in this run. CADO-NFS completed the factorization and PARI proved both factors prime. An independent check multiplied them and recovered the input exactly. This large input used the long-running pipeline of the full edition. Online Free supports short factorization from 2 through 264 − 1.
Vyskúšajte úlohu s vlastnými dátami Try a task with your own data
V Refined Math Online otvorte úlohu geometrického pokrytia a skúste zmeniť počet centier z troch na dve. Pri regresii dajte väčšiu váhu jednému meraniu a porovnajte vrátené koeficienty. Ak už máte vlastné pravidlá aj dáta, otvorte import adaptéra. Formáty, export výsledkov a limity Free verzie nájdete na produktovej stránke Refined Math.
Open the geometric covering task in Refined Math Online and reduce the number of centers from three to two. In regression, increase the weight of one measurement and compare the returned coefficients. If you already have your own rules and data, open the adapter import. The Refined Math product page lists formats, result exports and Free limits.