सॉल्वर प्रणाली
dispatchatlas.solve सॉल्वर मेटाडेटा, चयन, शेड्यूल निर्माण, मरम्मत, प्रदर्शन रक्षोपाय,
आधार-रेखा परिवारों, वैकल्पिक एडाप्टरों, और NDSO परिवार का स्वामी है।
यह पैकेज केवल dispatchatlas.core आयात करता है। बेंचमार्क स्मोक एकीकरण परीक्षण
tests/solve/ में रहते हैं ताकि रनटाइम पैकेज ठोस बेंचमार्क जनरेटरों पर निर्भर न हो।
चलाने-योग्य उदाहरण: examples/compare_solvers.py सॉल्वरों की एक समूह को समानांतर में शेड्यूल करता है और इसे एक सिद्ध सटीक इष्टतम से लंगर डालता है।
रजिस्ट्री
SolverRegistry समृद्ध मेटाडेटा के साथ अवस्था-रहित सॉल्वर फ़ैक्टरियाँ संग्रहीत करता है:
- क्षमता टैग जैसे
capacity-aware,precedence-aware,repair,local-search, औरndso - समर्थित उद्देश्य जैसे
makespan,energy, औरcost - क्षमता टैगों के माध्यम से व्यक्त घोषित बाधाएँ
- डिफ़ॉल्ट विराम मानदंड
- नियतात्मक या बीज-युक्त प्रसंभाव्य पुनः-प्रस्तुति व्यवहार
- समाधान कूटलेखन (
permutation,mapping,assignment, याnative) - वैकल्पिक निर्भरता घोषणाएँ और वाणिज्यिक-बैकएंड प्रकटीकरण
- चरणबद्ध निर्यातों के लिए साक्ष्य-श्रेणी दृश्यता
- एक प्रामाणिक उद्धरण, या एक स्पष्ट उद्धरण-अनुपयुक्त औचित्य
प्रत्येक नामित सॉल्वर परिवार एक उद्धरण धारण करता है जो बंद-होकर विफल होता है: एक प्रामाणिक आद्य मूल वाला परिवार जो अपना संदर्भ छोड़ देता है, निर्मित नहीं किया जा सकता, और एकल प्रामाणिक मूल रहित परिवार एक को गढ़ने के बजाय कारण दर्ज करता है।
from dispatchatlas.solve import SolverCapability, default_solver_registry
registry = default_solver_registry()
metaheuristics = registry.select(
required_capabilities=(SolverCapability.METAHEURISTIC,),
objective="makespan",
)रजिस्ट्री कैटलॉग
रजिस्ट्री का प्रत्येक सॉल्वर, एक छँटाई-योग्य, खोज-योग्य तालिका में। तालिका और उसके योग
default_solver_registry() से उत्पन्न होते हैं, अतः नीचे की गणनाएँ पंक्तियों से ही गणनीय हैं। तालिका के ऊपर एक क्षमता-आवरण रेखाचित्र सारांशित करता है कि कितने रजिस्ट्री सॉल्वर प्रत्येक घोषित क्षमता प्रस्तुत करते हैं।
Generated from the solver registry: 87 solvers across 6 groups — constructive (5), dispatching (14), exact (7), learning (11), metaheuristic (47), ndso (3).
Showing 87 of 87 solvers.
| Supported objectives | Notes | ||
|---|---|---|---|
adpso | metaheuristic | makespan, energy, cost | Inspect
|
age-moea-ii | metaheuristic | makespan, lateness, fairness, energy, cost, carbon | Inspect
|
ant-colony | metaheuristic | makespan, energy, cost | Inspect
|
apparent-tardiness-cost | dispatching | makespan, lateness, energy, cost | Inspect
|
arithmetic-optimization | metaheuristic | makespan, energy, cost | Inspect
|
artificial-bee-colony | metaheuristic | makespan, energy, cost | Inspect
|
artificial-fish-swarm | metaheuristic | makespan, energy, cost | Inspect
|
beam-search | constructive | makespan, energy, cost | Inspect
|
branch-and-bound | exact | makespan, energy, cost | Inspect
|
ccgp | metaheuristic | makespan, energy, cost | Inspect
|
clpso | metaheuristic | makespan, energy, cost | Inspect
|
cma-es | metaheuristic | makespan, energy, cost | Inspect
|
cpop | dispatching | makespan, energy, cost | Inspect
|
critical-path-tabu | metaheuristic | makespan, energy, cost | Inspect
|
cuckoo-search | metaheuristic | makespan, energy, cost | Inspect
|
d-clpso | metaheuristic | makespan, energy, cost | Inspect
|
d-depso | metaheuristic | makespan, energy, cost | Inspect
|
d-lshade | metaheuristic | makespan, energy, cost | Inspect
|
dan-dual-attention | learning | makespan, energy, cost | Inspect
|
decima-dag-rl | learning | makespan, energy, cost | Inspect
|
decision-diagram-sequencing | exact | makespan, energy, cost | Inspect
|
differential-evolution | metaheuristic | makespan, energy, cost | Inspect
|
earliest-deadline | dispatching | makespan, energy, cost | Inspect
|
earliest-finish-time | dispatching | makespan, energy, cost | Inspect
|
earliest-start | dispatching | makespan, energy, cost | Inspect
|
epso | metaheuristic | makespan, energy, cost | Inspect
|
exhaustive-enumeration | exact | makespan, energy, cost | Inspect
|
firefly-algorithm | metaheuristic | makespan, energy, cost | Inspect
|
fjsp-hgnn-drl | learning | makespan, energy, cost | Inspect
|
genetic-algorithm | metaheuristic | makespan, energy, cost | Inspect
|
grasshopper-optimization | metaheuristic | makespan, energy, cost | Inspect
|
gravitational-search | metaheuristic | makespan, energy, cost | Inspect
|
greedy-completion | dispatching | makespan, energy, cost | Inspect
|
grey-wolf-optimizer | metaheuristic | makespan, energy, cost | Inspect
|
guided-local-search | metaheuristic | makespan, energy, cost | Inspect
|
gurobi-exact | exact | makespan, energy, cost | Inspect
|
harris-hawks-optimization | metaheuristic | makespan, energy, cost | Inspect
|
heft | dispatching | makespan, energy, cost | Inspect
|
ibea | metaheuristic | makespan, lateness, fairness, energy, cost, carbon | Inspect
|
iterated-greedy-rs | metaheuristic | makespan, energy, cost | Inspect
|
jaya-algorithm | metaheuristic | makespan, energy, cost | Inspect
|
l2d-disjunctive-gnn | learning | makespan, energy, cost | Inspect
|
l2s-improvement | learning | makespan, energy, cost | Inspect
|
learned-priority-policy | learning | makespan, energy, cost | Inspect
|
logic-based-benders-decomposition | exact | makespan, energy, cost | Inspect
|
longest-processing-time | dispatching | makespan, energy, cost | Inspect
|
lshade | metaheuristic | makespan, energy, cost | Inspect
|
marine-predators | metaheuristic | makespan, energy, cost | Inspect
|
matheuristic-restricted-neighbourhood | metaheuristic | makespan | Inspect
|
max-min | dispatching | makespan, energy, cost | Inspect
|
min-min | dispatching | makespan, energy, cost | Inspect
|
minimum-slack | dispatching | makespan, energy, cost | Inspect
|
moead | metaheuristic | makespan, lateness, fairness, energy, cost | Inspect
|
monte-carlo-tree-search | metaheuristic | makespan, energy, cost | Inspect
|
moth-flame-optimization | metaheuristic | makespan, energy, cost | Inspect
|
ndso-core | ndso | makespan, energy, cost | Inspect
|
ndso-fast | ndso | makespan, energy, cost | Inspect
|
ndso-summit | ndso | makespan, energy, cost | Inspect
|
neh | constructive | makespan, energy, cost | Inspect
|
nsga2 | metaheuristic | makespan, lateness, fairness, energy, cost | Inspect
|
nsga3 | metaheuristic | makespan, lateness, fairness, energy, cost, carbon | Inspect
|
ortools-cp-sat | exact | makespan, energy, cost | Inspect
|
particle-swarm | metaheuristic | makespan, energy, cost | Inspect
|
peft | dispatching | makespan, energy, cost | Inspect
|
pulp-milp | exact | makespan, energy, cost | Inspect
|
residual-scheduling | learning | makespan, energy, cost | Inspect
|
rl-dispatching | learning | makespan, energy, cost | Inspect
|
rollout | constructive | makespan, energy, cost | Inspect
|
rvea | metaheuristic | makespan, lateness, fairness, energy, cost, carbon | Inspect
|
salp-swarm | metaheuristic | makespan, energy, cost | Inspect
|
sarsa-dispatching | learning | makespan, energy, cost | Inspect
|
scatter-search | metaheuristic | makespan, energy, cost | Inspect
|
selection-hyper-heuristic | metaheuristic | makespan, energy, cost | Inspect
|
serial-sgs-justification | constructive | makespan, energy, cost | Inspect
|
shifting-bottleneck | constructive | makespan, energy, cost | Inspect
|
shortest-processing-time | dispatching | makespan, energy, cost | Inspect
|
simulated-annealing | metaheuristic | makespan, energy, cost | Inspect
|
sine-cosine-algorithm | metaheuristic | makespan, energy, cost | Inspect
|
slim-self-labeling | learning | makespan, energy, cost | Inspect
|
sms-emoa | metaheuristic | makespan, lateness, fairness, energy, cost, carbon | Inspect
|
spea2 | metaheuristic | makespan, lateness, fairness, energy, cost, carbon | Inspect
|
squeaky-wheel | metaheuristic | makespan, energy, cost | Inspect
|
sufferage | dispatching | makespan, energy, cost | Inspect
|
surrogate-assisted-gp-hh | learning | makespan, energy, cost | Inspect
|
tabu-mrcpsp-mode-search | metaheuristic | makespan, energy, cost | Inspect
|
teaching-learning-optimization | metaheuristic | makespan, energy, cost | Inspect
|
whale-optimization | metaheuristic | makespan, energy, cost | Inspect
|
All objective support is declared registry metadata, not a performance claim. The solver recommender ranks these solvers by declared fit.
सॉल्वर प्रयोज्यता
कौन-से सॉल्वर किस बेंचमार्क परिवार पर लागू होते हैं, यह प्रयोज्यता मैट्रिक्स से पढ़ा जाता है। प्रत्येक सेल घोषित प्रयोज्यता है, कभी भी प्रदर्शन का दावा नहीं: सत्यापित सेल किसी नामित सार्वजनिक अभियान, उद्धरण या परीक्षण का हवाला देती हैं, और अनुमानित सेल घोषित सॉल्वर क्षमताओं और बेंचमार्क-परिवार विशेषताओं से व्युत्पन्न होती हैं। नीचे दी गई तालिका सार्वजनिक प्रयोज्यता बंडल से उत्पन्न होती है, इसलिए इसके स्थिति योग पंक्तियों से ही गिने जा सकते हैं।
Generated from the applicability matrix: 69 benchmark families by 87 public solvers. 10 verified · 5835 approximate · 158 not applicable.
Cell status is declared applicability, never a performance claim. Verified cells cite a named public campaign artifact, citation source, or test; approximate cells are derived from declared solver capabilities and benchmark-family traits and are labeled as such.
Showing 6003 of 6003 cells.
| Basis | |||
|---|---|---|---|
accelerator-coschedulingdistributed-computing | adpso | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity; produces a static schedule for a family with dynamic arrivals/rescheduling; searches a continuous space decoded via the random-key-adapter with topological repair. |
accelerator-coschedulingdistributed-computing | age-moea-ii | Approximate | family declares constraint features with no capability-tag counterpart: affinity; produces a static schedule for a family with dynamic arrivals/rescheduling; no repair or dispatching mechanism for the family's declared uncertainty. |
accelerator-coschedulingdistributed-computing | ant-colony | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity; produces a static schedule for a family with dynamic arrivals/rescheduling. |
accelerator-coschedulingdistributed-computing | apparent-tardiness-cost | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity. |
accelerator-coschedulingdistributed-computing | arithmetic-optimization | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity; produces a static schedule for a family with dynamic arrivals/rescheduling. |
accelerator-coschedulingdistributed-computing | artificial-bee-colony | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity; produces a static schedule for a family with dynamic arrivals/rescheduling. |
accelerator-coschedulingdistributed-computing | artificial-fish-swarm | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity; produces a static schedule for a family with dynamic arrivals/rescheduling. |
accelerator-coschedulingdistributed-computing | beam-search | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity; produces a static schedule for a family with dynamic arrivals/rescheduling; no repair or dispatching mechanism for the family's declared uncertainty. |
accelerator-coschedulingdistributed-computing | branch-and-bound | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity; produces a static schedule for a family with dynamic arrivals/rescheduling; no repair or dispatching mechanism for the family's declared uncertainty. |
accelerator-coschedulingdistributed-computing | ccgp | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity; produces a static schedule for a family with dynamic arrivals/rescheduling. |
accelerator-coschedulingdistributed-computing | clpso | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity; produces a static schedule for a family with dynamic arrivals/rescheduling; searches a continuous space decoded via the random-key-adapter with topological repair. |
accelerator-coschedulingdistributed-computing | cma-es | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity; produces a static schedule for a family with dynamic arrivals/rescheduling; no repair or dispatching mechanism for the family's declared uncertainty. |
accelerator-coschedulingdistributed-computing | cpop | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity. |
accelerator-coschedulingdistributed-computing | critical-path-tabu | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity; produces a static schedule for a family with dynamic arrivals/rescheduling. |
accelerator-coschedulingdistributed-computing | cuckoo-search | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity; produces a static schedule for a family with dynamic arrivals/rescheduling. |
accelerator-coschedulingdistributed-computing | d-clpso | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity; produces a static schedule for a family with dynamic arrivals/rescheduling; searches a continuous space decoded via the spv-adapter with topological repair. |
accelerator-coschedulingdistributed-computing | d-depso | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity; produces a static schedule for a family with dynamic arrivals/rescheduling. |
accelerator-coschedulingdistributed-computing | d-lshade | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity; produces a static schedule for a family with dynamic arrivals/rescheduling; searches a continuous space decoded via the rounding-adapter with topological repair. |
accelerator-coschedulingdistributed-computing | dan-dual-attention | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity. |
accelerator-coschedulingdistributed-computing | decima-dag-rl | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity. |
accelerator-coschedulingdistributed-computing | decision-diagram-sequencing | Not applicable | native exact search caps at 12 tasks; family instances carry 96; optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity; produces a static schedule for a family with dynamic arrivals/rescheduling; no repair or dispatching mechanism for the family's declared uncertainty. |
accelerator-coschedulingdistributed-computing | differential-evolution | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity; produces a static schedule for a family with dynamic arrivals/rescheduling. |
accelerator-coschedulingdistributed-computing | earliest-deadline | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity. |
accelerator-coschedulingdistributed-computing | earliest-finish-time | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity. |
accelerator-coschedulingdistributed-computing | earliest-start | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity. |
accelerator-coschedulingdistributed-computing | epso | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity; produces a static schedule for a family with dynamic arrivals/rescheduling; searches a continuous space decoded via the random-key-adapter with topological repair. |
accelerator-coschedulingdistributed-computing | exhaustive-enumeration | Not applicable | native exact search caps at 8 tasks; family instances carry 96; optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity; produces a static schedule for a family with dynamic arrivals/rescheduling; no repair or dispatching mechanism for the family's declared uncertainty. |
accelerator-coschedulingdistributed-computing | firefly-algorithm | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity; produces a static schedule for a family with dynamic arrivals/rescheduling. |
accelerator-coschedulingdistributed-computing | fjsp-hgnn-drl | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity. |
accelerator-coschedulingdistributed-computing | genetic-algorithm | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity; produces a static schedule for a family with dynamic arrivals/rescheduling. |
accelerator-coschedulingdistributed-computing | grasshopper-optimization | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity; produces a static schedule for a family with dynamic arrivals/rescheduling. |
accelerator-coschedulingdistributed-computing | gravitational-search | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity; produces a static schedule for a family with dynamic arrivals/rescheduling. |
accelerator-coschedulingdistributed-computing | greedy-completion | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity. |
accelerator-coschedulingdistributed-computing | grey-wolf-optimizer | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity; produces a static schedule for a family with dynamic arrivals/rescheduling. |
accelerator-coschedulingdistributed-computing | guided-local-search | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity; produces a static schedule for a family with dynamic arrivals/rescheduling; no repair or dispatching mechanism for the family's declared uncertainty. |
accelerator-coschedulingdistributed-computing | gurobi-exact | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity; produces a static schedule for a family with dynamic arrivals/rescheduling; no repair or dispatching mechanism for the family's declared uncertainty. |
accelerator-coschedulingdistributed-computing | harris-hawks-optimization | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity; produces a static schedule for a family with dynamic arrivals/rescheduling. |
accelerator-coschedulingdistributed-computing | heft | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity. |
accelerator-coschedulingdistributed-computing | ibea | Approximate | family declares constraint features with no capability-tag counterpart: affinity; produces a static schedule for a family with dynamic arrivals/rescheduling; no repair or dispatching mechanism for the family's declared uncertainty. |
accelerator-coschedulingdistributed-computing | iterated-greedy-rs | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity; produces a static schedule for a family with dynamic arrivals/rescheduling. |
accelerator-coschedulingdistributed-computing | jaya-algorithm | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity; produces a static schedule for a family with dynamic arrivals/rescheduling. |
accelerator-coschedulingdistributed-computing | l2d-disjunctive-gnn | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity. |
accelerator-coschedulingdistributed-computing | l2s-improvement | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity. |
accelerator-coschedulingdistributed-computing | learned-priority-policy | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity. |
accelerator-coschedulingdistributed-computing | logic-based-benders-decomposition | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity; produces a static schedule for a family with dynamic arrivals/rescheduling; no repair or dispatching mechanism for the family's declared uncertainty. |
accelerator-coschedulingdistributed-computing | longest-processing-time | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity. |
accelerator-coschedulingdistributed-computing | lshade | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity; produces a static schedule for a family with dynamic arrivals/rescheduling; searches a continuous space decoded via the random-key-adapter with topological repair. |
accelerator-coschedulingdistributed-computing | marine-predators | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity; produces a static schedule for a family with dynamic arrivals/rescheduling. |
accelerator-coschedulingdistributed-computing | matheuristic-restricted-neighbourhood | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity; produces a static schedule for a family with dynamic arrivals/rescheduling; no repair or dispatching mechanism for the family's declared uncertainty. |
accelerator-coschedulingdistributed-computing | max-min | Approximate | optimizes one objective axis of a multi-objective family; family declares constraint features with no capability-tag counterpart: affinity. |
Cell status is declared applicability, never a performance claim. Verified cells cite a named public campaign, citation, or test; approximate cells are derived from declared solver capabilities and benchmark-family traits. The solver recommender scores solvers against this matrix by scheduling family.
प्रेषण आधार-रेखाएँ
बंडल की गई नियतात्मक आधार-रेखाएँ रचनात्मक सूची-शेड्यूलिंग सॉल्वर हैं। प्रत्येक कार्य क्रम को नियंत्रित करता है; क्रमिक निर्माता प्रत्येक कार्य की घोषित संसाधन माँगों का सम्मान करता है और प्रत्येक कार्य को उसके सबसे-शीघ्र-उपलब्ध माँगे गए संसाधन को सौंपता है। प्रत्येक परिवार अपना प्रामाणिक आद्य संदर्भ नामित करता है।
| Solver | प्राथमिकता आधार | प्रामाणिक संदर्भ |
|---|---|---|
earliest-start | सांस्थितिक इनपुट क्रम | अनुपयुक्त (तत्समक आधार-रेखा) |
shortest-processing-time | सबसे छोटी कार्य अवधि पहले | Smith (1956) |
longest-processing-time | सबसे लंबी कार्य अवधि पहले | Graham (1969) |
earliest-deadline | सबसे शीघ्र deadline पहले (deadline-सजग) | Jackson (1955) |
earliest-finish-time | सबसे शीघ्र पहुँच-योग्य समाप्ति पहले | Topcuoglu et al. (2002) |
minimum-slack | सबसे छोटी शेड्यूल ढील पहले | Conway, Maxwell & Miller (1967) |
greedy-completion | सबसे शीघ्र स्थिति-सजग समापन पहले | Graham (1966) |
apparent-tardiness-cost | उच्चतम प्रकट-विलंबता-लागत सूचकांक पहले (deadline-सजग) | Vepsalainen & Morton (1987) |
सेवानिवृत्त प्रेषण परिवार
संसाधन-मानचित्रण परिवारों को एक सामान्य प्रकार में चुपचाप मोड़ने के बजाय स्पष्ट रूप से दर्ज किया जाता है। वे संसाधन आवंटन को नियंत्रित करते हैं, कार्य क्रम को नहीं, और माँग-सम्मान करने वाला क्रमिक निर्माता वर्तमान कोर समस्या मॉडल के अंतर्गत कोई मुक्त मानचित्रण निर्णय उजागर नहीं करता:
- संसाधन मानचित्रण (
olb,met,mct,round-robin,load-balanced): निर्माता प्रत्येक कार्य को उसके घोषित संसाधन को सौंपता है, अतः इन अनुमानिकाओं के पास कोई साकार-योग्य स्वतंत्रता की कोटि नहीं है; निष्पादन-समय-सजग मानचित्रण उद्देश्यों और बाधाओं के कार्य का स्वामित्व है, इस आधार का नहीं। - प्रकार टैग अनुपस्थित (
type-aware,domain-aware): वर्तमान कोर समस्या मॉडल द्वारा न धारण किए गए कार्य-प्रकार और संसाधन-प्रकार टैगों की आवश्यकता रखते हैं।
retired_dispatching_families() प्रति-परिवार औचित्य और उद्धरण के साथ पूर्ण बही लौटाता है।
रैंक-आधारित सूची शेड्यूलर
तीन विषमता-सजग सूची शेड्यूलर एक द्वि-चरणीय आकार साझा करते हैं: एक स्थैतिक प्राथमिकता-निर्धारण चरण औसत निष्पादन समयों और संचार लागतों से पूर्वता DAG पर प्रत्येक कार्य को रैंक करता है, और एक प्रोसेसर-चयन चरण प्रत्येक कार्य को प्राथमिकता क्रम में क्रमिक निर्माता के सबसे-शीघ्र-समाप्ति नियम के माध्यम से बाँधता है। प्रति-संसाधन निष्पादन समय एक ढलाऊ कार्य की घोषित निष्पादन विधाओं से आते हैं, और एक दृढ़ कार्य प्रलेखित सजातीय विशेषीकरण में पतित हो जाता है।
| Solver | प्राथमिकता आधार | प्रामाणिक संदर्भ |
|---|---|---|
heft | ऊर्ध्वगामी रैंक | Topcuoglu, Hariri & Wu (2002) |
cpop | संयुक्त ऊर्ध्वगामी-धन-अधोगामी रैंक, क्रांतिक-पथ कार्य पहले | Topcuoglu, Hariri & Wu (2002) |
peft | आशावादी-लागत-तालिका रैंक | Arabnejad & Barbosa (2014) |
तैयार-समुच्चय मानचित्रण नियम
तीन बैच मानचित्रण नियम प्रत्येक पूर्वता-तैयार कार्य को उसके उम्मीदवार बंधनों पर उसके
सबसे-शीघ्र समापन द्वारा अंकित करते हैं, फिर प्रति चरण एक कार्य मानचित्रित करते हैं। प्रकाशित
नियम स्वतंत्र कार्यों के एक बैच को मानचित्रित करते हैं; यहाँ बैच पूर्वता-तैयार समुच्चय है, अतः
नियम आश्रित कार्यभारों तक विस्तृत होते हैं और स्वतंत्र-कार्य इंस्टेंसों पर प्रकाशित व्यवहार में
न्यूनित हो जाते हैं। ये परिवार प्रथम-श्रेणी पंजीकरण के लिए सेवानिवृत्त बही छोड़ गए जब ढलाऊ
TaskSpec.modes ने उनके प्रति-मशीन अपेक्षित-समापन आव्यूह को निरूपणीय बना दिया।
| Solver | प्राथमिकता आधार | प्रामाणिक संदर्भ |
|---|---|---|
min-min | सबसे छोटा श्रेष्ठ समापन अगला | Ibarra & Kim (1977); Braun et al. (2001) |
max-min | सबसे बड़ा श्रेष्ठ समापन अगला | Ibarra & Kim (1977); Braun et al. (2001) |
sufferage | सबसे बड़ा द्वितीय-श्रेष्ठ-घटा-श्रेष्ठ समापन अंतर अगला | Maheswaran et al. (1999) |
पुनरावृत्त-लोभी, ताबू, और RCPSP आधार-रेखाएँ
तीन प्रकाशित एकल-समाधान विधियाँ पूर्वता-सुरक्षित कार्य-क्रम स्थान में खोजती हैं, प्रत्येक अपने
प्रामाणिक तंत्र को साझा क्रम-रन सीवन पर प्रक्षेपित करती है। serial-sgs-justification मंच का
पहला संसाधन-परिबद्ध परियोजना-शेड्यूलिंग (RCPSP) सॉल्वर है।
| Solver | तंत्र | प्रामाणिक संदर्भ |
|---|---|---|
iterated-greedy-rs | विध्वंस-पुनर्निर्माण लूप और स्थिर-तापमान स्वीकृति सहित NEH बीज | Ruiz & Stutzle (2007) |
critical-path-tabu | क्रांतिक-पथ ब्लॉक चालों पर उन्नत ताबू खोज | Nowicki & Smutnicki (2005) |
serial-sgs-justification | दोहरे दायाँ-फिर-बायाँ औचित्यन सहित क्रमिक शेड्यूल-जनन-योजना विकूटन | Valls, Ballestin & Quintanilla (2005) |
मेटाह्यूरिस्टिक आधार-रेखाएँ
प्रतिनिधि बीज-युक्त मेटाह्यूरिस्टिक आधार-रेखाएँ समान साध्यता, मरम्मत, अंकन, और स्थानीय-खोज संकारक साझा करती हैं, प्रत्येक अपने प्रामाणिक संदर्भ के साथ: आनुवंशिक एल्गोरिथम (Holland 1975), सिमुलेटेड एनीलिंग (Kirkpatrick et al. 1983), चींटी कॉलोनी (Dorigo, Maniezzo & Colorni 1996), कण समूह (Kennedy & Eberhart 1995), और अवकल विकास (Storn & Price 1997)।
कूटलिखित एडाप्टर सॉल्वर
व्यापक अधिगम कण समूह अनुकूलन और सफलता-इतिहास अनुकूली अवकल विकास प्रति कार्य एक घटक के साथ एक सतत, वास्तविक-मान सदिश खोजते हैं। प्रत्येक कोर एक सतत उद्देश्य पर सामान्य है, अतः इसका अभिसरण व्यवहार एक सतत बेंचमार्क पर सीधे सत्यापित होता है, और एक कूटलेखन एडाप्टर के माध्यम से शेड्यूलिंग समस्या से बँधा होता है जो एक सदिश को पूर्वता-साध्य कार्य क्रम में विकूटित करता है।
| Solver | प्रेरणा | अनुकूलन | कूटलेखन |
|---|---|---|---|
clpso | व्यापक अधिगम कण समूह (Liang et al. 2006) | पूर्वता क्रम में विकूटित सतत समूह | random-key |
d-clpso | व्यापक अधिगम कण समूह (Liang et al. 2006) | सबसे-छोटे-स्थिति-मान विकूटन पर विविक्त एडाप्टर | spv |
lshade | रैखिक जनसंख्या न्यूनन सहित सफलता-इतिहास अनुकूली DE (Tanabe & Fukunaga 2014) | पूर्वता क्रम में विकूटित सतत अवकल विकास | random-key |
d-lshade | रैखिक जनसंख्या न्यूनन सहित सफलता-इतिहास अनुकूली DE (Tanabe & Fukunaga 2014) | पूर्णांक-रैंक पूर्णांकन पर विविक्त एडाप्टर | rounding |
CLPSO एकल वैश्विक-श्रेष्ठ के बजाय एक व्यापक-अधिगम आदर्श से प्रत्येक विमा सीखता है, अतः समूह की श्रेष्ठ अनुकूलता एक एकल-शिखर द्रोणी पर एकदिष्ट रूप से सुधरती है। L-SHADE अपने सफलता इतिहास से क्रॉसओवर और पैमाना-कारक स्मृतियाँ अनुकूलित करता है और जनसंख्या को रैखिक रूप से न्यूनतम चार व्यक्तियों तक सिकोड़ता है। दोनों एक अभिसरण प्रक्षेपवक्र रिपोर्ट करते हैं, और एक अभिसरण-शुद्धता परीक्षण तब विफल होता है जब प्रेक्षित प्रक्षेपवक्र प्रकाशित संदर्भ व्यवहार का खंडन करता है, बीज-पुनरुत्पादनीयता जाँचों से अलग।
ये सॉल्वर एक कूटलेखन सेतु के माध्यम से एक विविक्त डोमेन के अनुकूलित सतत अनुकूलक हैं; वे किसी पूर्व कोड के सटीक पुनः-कार्यान्वयन नहीं हैं, और तुलनात्मक अभियानों के चलने से पहले कोई प्रदर्शन दावा नहीं किया जाता।
कूटलेखन एडाप्टर
प्रत्येक नामित सतत-से-विविक्त कूटलेखन एक स्पष्ट मरम्मत नीति वाला एक भिन्न एडाप्टर है, अतः कोई कूटलेखन एक सामान्य विकूटक में चुपचाप नहीं मुड़ता। प्रत्येक एडाप्टर अपने विकूटित क्रम को एक पूर्वता-साध्य क्रम में मरम्मत करता है और दर्ज करता है कि मरम्मत चली या नहीं।
| एडाप्टर | अंतरण | विकूट नियम | उद्धरण स्थिति |
|---|---|---|---|
random-key | तत्समक | क्लैंप की गई कुंजी से छँटाई | प्रामाणिक (Bean 1994) |
spv | तत्समक | सबसे छोटा स्थिति मान | प्रामाणिक (Tasgetiren et al. 2007) |
rounding | तत्समक | पूर्णांक रैंक खाँचे | अनुपयुक्त |
sigmoid | S-आकार सिग्मॉइड | भारित प्रसंभाव्य चयन | प्रामाणिक (Kennedy & Eberhart 1997) |
v-shaped | V-आकार परिमाण | भारित प्रसंभाव्य चयन | प्रामाणिक (Mirjalili & Lewis 2013) |
tanh | विस्थापित अतिपरवलयिक स्पर्शज्या | भारित प्रसंभाव्य चयन | प्रामाणिक (Mirjalili & Lewis 2013) |
नियतात्मक विकूट (random-key, spv, rounding) यादृच्छिक स्रोत की उपेक्षा करते हैं;
अंतरण-फलन विकूट एक बीज-युक्त स्रोत का उपभोग करते हैं और एक स्थिर बीज के अंतर्गत पुनः-प्रस्तुत
होते हैं। rounding एडाप्टर उद्धरण-अनुपयुक्त दर्ज करता है क्योंकि निकटतम-पूर्णांक रैंक
पूर्णांकन एकल प्रामाणिक आद्य मूल रहित एक सामान्य विविक्तीकरण है।
विविधीकृत प्रतियोगी समुच्चय
विविधीकृत प्रतियोगी समुच्चय प्रतिनिधि आधार-रेखाओं से परे तुलना को कुछ हालिया, सशक्त सहकर्मियों के एक छोटे मुट्ठीभर से विस्तृत करता है, प्रत्येक एक नामित सॉल्वर अपने पूर्ण-पाठ संदर्भ के साथ केवल-क्रम निर्णय स्थान पर प्रक्षेपित, न कि शास्त्रीय आधार-रेखाओं की एक भारी सूची। एक सहकर्मी सार्वजनिक क्षेत्र पर केवल तभी रहता है जब वह एक स्थल-शक्ति पट्टी पार करता है: एक अनुक्रमित, सहकर्मी-समीक्षित स्थल में पश्च-2020 सामयिकता खिड़की के भीतर प्रकाशित, स्थल स्तर दर्ज के साथ ताकि एक पाठक उसे प्रतिष्ठा के बजाय साक्ष्य पर तौले।
| Solver | तंत्र | स्थल | उद्धरण |
|---|---|---|---|
epso | पथ संग्रहण सहित कार्यभार-पूर्वाग्रहित-प्रारंभीकरण समूह | Electronics (MDPI), 2023 — अनुक्रमित | Anbarkhan & Rakrouki (2023) |
adpso | सफलता-अनुकूली अवरोही जड़त्व सहित समूह खोज | Sensors (MDPI), 2022 — अनुक्रमित | Nabi et al. (2022) |
ccgp | प्राथमिकता-नियम वृक्षों का सहकारी सह-विकास | Computers & Operations Research (Elsevier), 2024 — शीर्ष-स्तरीय OR | Zaki et al. (2024) |
प्रत्येक सहकर्मी अपने मेटाडेटा में शक्तियाँ, चेतावनियाँ, और एक चलाने-योग्य-आधार-रेखा साक्ष्य वर्ग धारण करता है ताकि अनुशंसक समझा सके कि एक सॉल्वर एक संदर्भ में क्यों फिट बैठता है। शास्त्रीय आधार-रेखाओं का एक व्यापक समुच्चय — पूर्णांक-कुंजी, पूर्वाग्रहित-यादृच्छिक-कुंजी, और वितरण-आकलन आनुवंशिक एल्गोरिथम, और बड़ी-पड़ोस, पुनरावृत्त लोभी, ताबू, चर-पड़ोस, और मीमेटिक खोजें — आंतरिक तुलना के लिए पंजीकृत रहता है पर सार्वजनिक क्षेत्र से बाहर रखा जाता है, क्योंकि प्रतिनिधि अनुमानिकाएँ पहले से अपना तंत्र संकेत धारण करती हैं। तुलनात्मक अभियानों के चलने से पहले कोई प्रदर्शन दावा नहीं किया जाता।
सामयिकता लंगर
प्रतियोगी और संबंधित-कार्य समुच्चय एक पश्च-2020 सामयिकता लंगर के माध्यम से वर्तमान-दशक के कार्य के विरुद्ध स्थापित होता है: Karimi-Mamaghan, Mohammadi, Pasdeloup, और Meyer (2023, क्रमचय फ़्लोशॉप के लिए पुनरावृत्त लोभी में एकीकृत Q-learning के माध्यम से संकारक चुनना सीखना, European Journal of Operational Research 304(3):1296-1330, doi:10.1016/j.ejor.2022.03.054) और वितरित फ़्लोशॉप समूह शेड्यूलिंग के लिए 2024 IEEE Transactions on Evolutionary Computation का सूचक-चालित सहयोगी बहु-उद्देश्य विकासवादी एल्गोरिथम (doi:10.1109/TEVC.2023.3339558)।
बहु-उद्देश्य प्रतियोगी
दो Pareto प्रतियोगी एक बहु-उद्देश्य सदिश पर पूर्वता-सुरक्षित कार्य क्रमों की एक जनसंख्या
विकसित करते हैं, जो अनेक-उद्देश्य nsga3 सतह से भिन्न है। nsga2 प्रभुत्व-आधारित प्रतियोगी है
— तेज़ अप्रभुत्वित छँटाई सहित भीड़-दूरी टाई-तोड़ — और moead अपघटन-आधारित प्रतिभार है, जो
समस्या को एक संरचित सिंप्लेक्स भार ग्रिड के अनुदिश अदिश Tchebycheff उप-समस्याओं में विभाजित
करता है और प्रत्येक उप-समस्या के निकटतम-भार पड़ोस में अधिष्ठित को प्रतिस्थापित करता है।
| Solver | तंत्र | प्रामाणिक संदर्भ |
|---|---|---|
nsga2 | प्रभुत्व-आधारित Pareto: तेज़ अप्रभुत्वित छँटाई, भीड़ दूरी | Deb et al. (2002) |
moead | अपघटन-आधारित Pareto: सिंप्लेक्स भार ग्रिड पर Tchebycheff अदिशीकरण | Zhang & Li (2007) |
अनेक-उद्देश्य प्रतियोगी
nsga3 नामित अनेक-उद्देश्य प्रतियोगी है (Deb & Jain 2014, doi:10.1109/TEVC.2013.2281535),
द्वि-उद्देश्य प्रतियोगी सतह से भिन्न। यह पूर्वता-सुरक्षित कार्य क्रमों पर एक जनसंख्या बनाए
रखता है, प्रत्येक क्रम को एक बहु-उद्देश्य सदिश (makespan, विलंबता, और भार निष्पक्षता) पर
मूल्यांकित करता है, और इकाई सिंप्लेक्स पर Das & Dennis संरचित संदर्भ बिंदुओं पर
संदर्भ-बिंदु-नीचिंग चयन द्वारा प्रत्येक पीढ़ी जीवित रहता है। संदर्भ-बिंदु डिज़ाइन, समाधानों का
उनके निकटतम संदर्भ दिशा से सहचारण, और नीच-गणना चयन एल्गोरिथमी हस्ताक्षर हैं; सॉल्वर
multi-objective के साथ many-objective क्षमता घोषित करता है ताकि एक अभियान उसे स्पष्ट रूप
से चुन सके।
क्षमता मिलान
SolverRegistry.select क्षमता, बाधा, और उद्देश्य द्वारा सॉल्वरों का मिलान करता है। क्षमता और
बाधा आवश्यकताएँ दोनों क्षमता टैगों के रूप में व्यक्त होती हैं और एक संयोजन के रूप में मिलान की
जाती हैं: एक अनेक-उद्देश्य अभियान जिसे deadline-सजगता भी चाहिए
required_capabilities=(SolverCapability.MANY_OBJECTIVE,) और
required_constraints=(SolverCapability.DEADLINE_AWARE,) पास करता है, और रजिस्ट्री केवल वे
सॉल्वर लौटाती है जो दोनों घोषित करते हैं। एक objective फ़िल्टर परिणाम को आगे उन सॉल्वरों तक
सीमित करता है जो उस नामित उद्देश्य के लिए समर्थन घोषित करते हैं।
NDSO परिवार
NDSO परिवार रजिस्ट्री का मूल-कूटलेखन सॉल्वर परिवार है: यह साध्य शेड्यूलों पर सीधे खोजता है। यह
जो प्रत्येक शेड्यूल उत्पन्न करता है वह निर्माण द्वारा साध्य है (एक वैधता-द्वारा-डिज़ाइन निर्माता
प्रत्येक चरण पर एक पूर्वता-सम्मान क्रम बनाता है), अतः परिवार native कूटलेखन धारण करता है और
कभी एक कूट/विकूट चरण या मरम्मत पास नहीं चलाता। परिवार नामित तंत्रों के एक छोटे समुच्चय की रचना
करता है:
- विश्वास आव्यूह — प्रति (स्थिति, कार्य) कोष्ठिका सीखे गए भरोसे का एक विरल भंडार, जैसे ही बेहतर शेड्यूल अपनी कोष्ठिकाओं को प्रबलित करते हैं अद्यतन होता है।
- विश्वास-भारित मतदान — विश्वास आव्यूह द्वारा भारित जनसंख्या पर मतदान करके अभिजात शेड्यूल संश्लेषित करता है; तेज़ रूपांतर इसके बजाय एक अ-भारित बहुमत मत उपयोग करता है।
- मात्रा-और-गुणवत्ता शेड्यूल — मात्रा शेड्यूल निर्धारित करता है कि एक उम्मीदवार कितना बदलता है; गुणवत्ता शेड्यूल निर्धारित करता है कि यह किस मार्गदर्शन स्रोत से सीखता है।
- तीन-स्रोत मार्गदर्शन — एक उम्मीदवार संश्लेषित अभिजात (दोहन), एक सहकर्मी (विविधता), या एक लुप्त-ज्ञान स्रोत (आमूल अन्वेषण) से सीखता है।
- एकीकृत अनुकूली गुणांक — एक अ-रैखिक शेड्यूल परिवार को अन्वेषण से दोहन की ओर खिसकाता है और संवेदनशीलता तथा अधिगम-केंद्र दोनों को चालित करता है; तेज़ रूपांतर इसे एक स्थिर मान पर फिक्स करता है।
| रूपांतर | रचना |
|---|---|
ndso-core | विश्वास-भारित मतदान, अनुकूली गुणांक, तीन-स्रोत मार्गदर्शन |
ndso-fast | बहुमत-मत संश्लेषण, स्थिर गुणांक, एकल मार्गदर्शन स्रोत |
ndso-summit | व्यापक संश्लेषण सहित कई समूहों का समन्वय करने वाली अंतर-समूह परिषद |
अंतर-समूह परिषद
ndso-summit रूपांतर गुणवत्ता रचना है: यह कई समूहों को समानांतर में चलाता है और उन्हें एक
परिषद के माध्यम से समन्वित करता है। प्रत्येक समूह अपनी स्वयं की जनसंख्या पर कोर तंत्रों की रचना
करता है; अंतर-समूह परिषद उन समूहों को कई पृथक रनों के बजाय एक खोज के रूप में काम करते रखती है
और उनके परिणामों को एक एकल व्यापक अभिजात — वह शेड्यूल जिसके पीछे पूरा शिखर खड़ा है — में
संश्लेषित करती है। परिषद वही है जो रूपांतर को एक नज़र में अलग करती है: ndso-core और
ndso-fast प्रत्येक एक जनसंख्या से खोजते हैं, जबकि ndso-summit समन्वित बहु-समूह खोज के लिए
निर्मित रचना है।
परिषद का समन्वय व्यवहार और प्रति-समूह निदान विन्यास-योग्य हैं, और यह जो प्रत्येक शेड्यूल उत्पन्न करता है वह निर्माण द्वारा साध्य रहता है।
विलोपन मानचित्र
विलोपन मानचित्र प्रत्येक नामित तंत्र के लिए एक पृथक्कारी विन्यास गणित करता है ताकि अनुप्रवाह विश्लेषण प्रत्येक तंत्र का योगदान आरोपित कर सके। अंतर-समूह प्रविष्टियाँ प्रत्येक एक कोर स्विच — विश्वास आव्यूह, विश्वास-भारित मतदान, मात्रा शेड्यूल, गुणवत्ता शेड्यूल, बहु-स्रोत मार्गदर्शन संरचना, सहकर्मी स्रोत, लुप्त-ज्ञान स्रोत, और अनुकूली गुणांक — को निष्क्रिय करती हैं। समन्वय प्रविष्टियाँ प्रत्येक एक परिषद पैरामीटर — अंतःसमूह- बनाम अंतर-समूह समन्वय, और व्यापक संश्लेषण — को निष्क्रिय करती हैं। प्रत्येक प्रविष्टि उस रन-गणना तल को घोषित करती है जिस पर विश्लेषण परत अपनी तुलना नमूना लेती है और उन सांख्यिकीय परीक्षणों को नामित करती है जो वह परत लागू करती है (एक युग्मित अ-पैरामीट्रिक सार्थकता परीक्षण, Holm बहु-तुलना सुधार सहित एक Friedman औसत-रैंक पश्च-हॉक, और एक Cliff-delta प्रभाव आकार)। नमूना-ली गई तुलना अनुप्रवाह प्रयोग इंजन द्वारा भौतिकीकृत होती है; प्रक्रिया-अंदर runner सिद्ध करता है कि प्रत्येक पृथक्करण साध्य है।
एक चरणबद्ध निर्यात फ़िल्टर शासित करता है कि एक रिपोर्ट गुंजाइश किन तंत्रों को उजागर कर सकती है: आधार गुंजाइश केवल आधारभूत तंत्र उजागर करती है, और एक fail-closed गेट एक आधार गुंजाइश के अंतर्गत एक अधिक-तेज़ या उच्चतर-गुणवत्ता तंत्र को रिसाने के बजाय उठाता है, अतः आधारभूत और तेज़ गुंजाइशें केवल-परिषद तंत्रों को उजागर नहीं कर सकतीं। अभिसरण निदान — जनसंख्या विविधता, विश्वास-आव्यूह एन्ट्रॉपी, अन्वेषण अनुपात, संसाधन भार, समयन, और सुधार अनुरेखण — वैकल्पिक हैं और निष्क्रिय होने पर कोई ओवरहेड नहीं जोड़ते, और परिषद एक JSON मैनिफ़ेस्ट निर्यात करती है जिसे विश्लेषण परत किसी सॉल्वर प्रकार को आयात किए बिना अंतर्ग्रहण करती है।
सटीक एडाप्टर
सटीक एडाप्टर दो रूपों में से एक लेते हैं। वैकल्पिक-बैकएंड एडाप्टर एक वैकल्पिक निर्भरता घोषित
करते हैं और रनटाइम पर उसका आयात मूल जाँचते हैं; यदि बैकएंड अनुपस्थित है तो वे पैकेज आयात के
दौरान एक भारी निर्भरता आयात करने के बजाय extra नाम, उद्देश्य, वाणिज्यिक ध्वज, और लाइसेंसिंग
टिप्पणी सहित MissingOptionalDependencyError उठाते हैं। मूल-परिबद्ध एडाप्टर कोई तृतीय-पक्ष
निर्भरता नहीं धारण करते और अपनी स्वयं की परिबद्ध खोज से छोटी इंस्टेंसों को सटीक हल करते हैं —
एक स्थिति में पूर्वता-साध्य क्रमों का गणन, दूसरी में निर्णय-आरेख शाखन और परिबंधन —, इंस्टेंस के
समर्थित कार्य गणना से अधिक होने पर UnsupportedCapabilityError उठाते हैं।
| Solver | विधि | बैकएंड | Extra | वाणिज्यिक |
|---|---|---|---|---|
ortools-cp-sat | CP-SAT | ortools | exact | नहीं |
pulp-milp | MILP / MIP | pulp | exact | नहीं |
branch-and-bound | branch-and-bound / cut | ortools | exact | नहीं |
logic-based-benders-decomposition | तर्क-आधारित बेंडर्स अपघटन | pulp | exact | नहीं |
exhaustive-enumeration | संपूर्ण गणन | मूल (कोई बैकएंड नहीं) | — | नहीं |
decision-diagram-sequencing | निर्णय-आरेख शाखन और परिबंधन | मूल (कोई बैकएंड नहीं) | — | नहीं |
gurobi-exact | MILP / MIP | gurobipy | exact-commercial | हाँ |
सार्वजनिक सटीक मुट्ठीभर प्रतिनिधि खुला समुच्चय है — CP-SAT, MILP, branch-and-bound, और
तर्क-आधारित बेंडर्स अपघटन — साथ ही दो मूल परिबद्ध सॉल्वर और वास्तव में आह्वान करने वाला Gurobi
आवरण। वाणिज्यिक Gurobi आवरण
exact-commercial extra के पीछे रहता है, कभी बंडल नहीं होता, और एक स्पष्ट लाइसेंसिंग टिप्पणी
धारण करता है; एक शैक्षणिक लाइसेंस उपलब्ध है। वैकल्पिक बैकएंडों का एक व्यापक पूल आंतरिक उपयोग के
लिए पंजीकृत रहता है।
चयन और अधिगम परत
चयन परत एक वैश्विक-श्रेष्ठ सॉल्वर का कभी दावा किए बिना एक समस्या के लिए सॉल्वरों को रैंक करती
है। यह एक SelectionFeatures अभिलेख — difficulty, heterogeneity, objective_conflict,
uncertainty, dynamism, और solver_sensitivity — और सार्वजनिक सॉल्वर मेटाडेटा का उपभोग
करती है, और रैंक की गई SolverRecommendation पंक्तियाँ लौटाती है। प्रत्येक अनुशंसा एक
RecommendationSource (metadata या learned-model), एक ConfidenceLabel, और स्पष्ट
सीमा टिप्पणियाँ धारण करती है, अतः एक मेटाडेटा अनुशंसा कभी एक सीखी गई के रूप में गलत नहीं समझी
जाती।
FEATURE_ORIGIN प्रत्येक विशेषता को उस बेंचमार्क अभिलक्षण मीट्रिक तक अनुरेखित करता है जिसे वह
पढ़ता है; उपभोक्ता dispatchatlas.bench अभिलक्षण मीट्रिकों को विशेषता अनुबंध में मानचित्रित
करता है, अतः dispatchatlas.solve अब भी केवल dispatchatlas.core आयात करता है। दो चयनकर्ता
भेजे जाते हैं: RuleBasedSelector केवल घोषित क्षमताओं और अभिलक्षण से रैंक करता है (एक मेटाडेटा
अनुशंसा), और SupervisedSelector एक लेबल किए गए कॉर्पस से एक नियतात्मक दूरी-भारित निकटतम-पड़ोसी
मॉडल द्वारा रैंक करता है (एक सीखे-मॉडल अनुशंसा)।
पर्यवेक्षित चयनकर्ता प्रशिक्षण फिट नहीं बल्कि होल्ड-आउट सामान्यीकरण रिपोर्ट करता है। प्रति-सत्यापन
प्रोटोकॉल एक लेबल किए गए कॉर्पस को इस प्रकार विभाजित करता है कि कोई इंस्टेंस, कोई बेंचमार्क
परिवार, और कोई अभिलक्षण अभिलेख प्रशिक्षण और परीक्षण दोनों विभाजनों में प्रकट न हो
(partition_by_families, leave_one_family_out, leakage_report), शेष परिवारों पर
प्रशिक्षित करता है, और होल्ड-आउट परिवार को अंकित करता है (held_out_generalization,
cross_validate)। इसका विश्वास केवल तभी केवल-मेटाडेटा से ऊपर उठता है जब एक रिसाव-मुक्त
होल्ड-आउट मूल्यांकन इसे समर्थन देता है।
learning_interface_catalog() सात नामित अधिगम और संकर अंतरफलक पंजीकृत करता है — पर्यवेक्षित
एल्गोरिथम चयन, प्रतिनिधि-सहायित खोज, सुदृढीकरण-अधिगम हुक, हाइपर-ह्यूरिस्टिक्स, नीति-निर्देशित
मरम्मत, सीखा गया प्रारंभीकरण, और एक केवल-बेंचमार्क आधार-रेखा। प्रत्येक एक LearningEvidencePolicy
(प्रशिक्षण डेटा, रिसाव नियंत्रण, पुनरुत्पादनीयता, साक्ष्य वर्ग, साक्ष्य-श्रेणी पात्रता) घोषित
करता है। दो यहाँ कार्यान्वित हैं; अन्य पाँच पंजीकृत आस्थगित अंतरफलक हैं जिनका साकारण प्रशिक्षण
डेटा उत्पन्न करने वाले तुलनात्मक अभियानों पर गेट किया गया है। भारी आकलक बैकएंड वैकल्पिक
learning extra के पीछे रहते हैं और आयात मूल द्वारा जाँचे जाते हैं, कभी पैकेज आयात के दौरान
आयात नहीं होते; अनुपस्थिति MissingOptionalDependencyError उठाती है जबकि नियतात्मक फ़ॉलबैक
उपलब्ध रहता है।
प्रदर्शन रक्षोपाय
बैच अंकन BatchScoringProfile के माध्यम से स्पष्ट है। वर्तमान कर्नेल एक मानक-पुस्तकालय
फ़ॉलबैक उपयोग करता है और उस फ़ॉलबैक को निदान में दर्ज करता है। यह API को सदिशीकृत या त्वरित
कर्नेलों के लिए तैयार रखता है जबकि एक परीक्षित, सुवाह्य पथ संरक्षित करता है।