Orsaksgrafen är en riktad graf som beskriver variabla beroenden som finns i ett planeringstillfälle. Ett antal tidningar har studerat kausalkurvan i både praktiska och teoretiska sammanhang. I detta arbete studerar vi systematiskt komplexiteten i planeringen begränsad av kausalkurvan. I synnerhet ger alla uppsättningar av kausala grafer upphov till ett delfall av planeringsproblemet. Vi ger en fullständig klassificering teorem på kausala grafer, visar att en uppsättning grafer är antingen polynom-tid dragbar, eller är inte polynom-tid dragbar om inte en etablerad komplexitet-teoretiska antagande misslyckas; vår sats beskriver vilka grafuppsättningar motsvarar var och en av de två fallen. Vi ger också en klassificeringsteori för fallet med reversibel planering, och diskuterar den allmänna riktningen för strukturellt begränsad planering.
Nyligen visade Ref att planeringens komplexitet är oåtkomlig om inte storleken på den största anslutna komponenten i kausalgrafen begränsas av en konstant.
Causal Graphs and Structurally Restricted Planning
{'venue': 'J. Comput. Syst. Sci.', 'journal': 'J. Comput. Syst. Sci.', 'mag_field_of_study': ['Mathematics', 'Computer Science']}