Phase transitions of contingent planning problem (Q474510): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q403515
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1155/2013/687578 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2169106402 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The complexity of theorem-proving procedures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4704799 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sharp thresholds of graph properties, and the $k$-sat problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Analysis of Two Simple Heuristics on a Random Instance ofk-sat / rank
 
Normal rank
Property / cites work
 
Property / cites work: Approximating the unsatisfiability threshold of random formulas / rank
 
Normal rank
Property / cites work
 
Property / cites work: The TSP phase transition / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4954175 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Random MAX SAT, random MAX CUT, and their phase transitions / rank
 
Normal rank
Property / cites work
 
Property / cites work: PHASE TRANSITIONS OF EXPSPACE-COMPLETE PROBLEMS / rank
 
Normal rank
Property / cites work
 
Property / cites work: PHASE TRANSITIONS OF EXPSPACE-COMPLETE PROBLEMS: A FURTHER STEP / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3624010 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3624014 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Task decomposition on abstract states, for planning under nondeterminism / rank
 
Normal rank

Latest revision as of 07:54, 9 July 2024

scientific article
Language Label Description Also known as
English
Phase transitions of contingent planning problem
scientific article

    Statements

    Phase transitions of contingent planning problem (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    24 November 2014
    0 references
    Summary: This paper explores the phase transitions of the contingent planning problems. We present the CONTINGENT PLAN-EXISTENCE algorithm and the CONTINGENT PLAN-NONEXISTENCE algorithm for quickly proving that the contingent planning instances have solutions and have no solutions, respectively. By analyzing the two algorithms, the phase transition area of the contingent planning problems is obtained. If the number of the actions is not greater than \(\theta_{\mathrm{ub}}\), the CONTINGENT PLAN-NONEXISTENCE algorithm can prove that nearly all the contingent planning instances have no solution. If the number of the actions is not lower than \(\theta_{\mathrm{lb}}\), the CONTINGENT PLAN-EXISTENCE algorithm can prove that nearly all the contingent planning instances have solutions.The results of the experiments show that there exist phase transitions from a region where almost all the contingent planning instances have no solution to a region where almost all the contingent planning instances have solutions.
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references