Aktuell plats: Hem -  Uggs Sverige Rea maximal H färgbar delgraf av G är

Uggs Sverige Rea maximal H färgbar delgraf av G är

Uggs Sverige Rea

Låt H vara en fast oriktad graf. En H-färgning av en oriktad graf G är en homomorfism från G till H. Om hörnen i G delvis beordrade sedan finns Uggs Skor Barn det en generisk ickedeterministisk giriga algoritm som beräknar alla lexikografiskt första maximala H-färgbar delgrafer av G. Vi visar att komplexiteten i att avgöra om en viss vertex G är i ett lexikografiskt första maximal H-färgbar delgraf av G är NP-fullständigt, om H är tvådelad, och Σ2p-klar, om H är icke-ömsesidig. Detta resultat kompletterar Hell och Nešetřil sädes- dikotomi resultera att standarden H-färgning problem är i läget P, om H är tvåparts, och NP-komplett, om H är icke-bipartit. Våra bevis använder de grundläggande teknikerna som fastställts av helvetet och Nešetřil, kombinatoriskt anpassade till vårt scenario. Irrelevanta klausuler i upplösningsproblem ökar sökrymden, vilket gör bevis svåra att Uggs Sverige Rea hitta i en rimlig mängd processortid. Enkla relevans filtreringsmetoder, baserade på att räkna symboler klausuler, förbättra resultaten för en mängd olika automatiska sats jäs och med olika grundinställningar. Vi har utformat dessa tekniker som en del av ett projekt för att länka automatiska sats jäs till interaktiva teorembevisare Isabelle. Vi har testat dem för problem med tusentals klausuler, som ger dåliga resultat utan filtrering. Våra metoder bör vara tillämplig på andra arbetsuppgifter där problemen upplösning produceras mekaniskt och där fullständighet är mindre viktig än att nå ett bra resultat med begränsad processortiden.
0 Kommentarer


Säg vad du tycker
senaste kommentarer