Pytania oznaczone «ds.algorithms»

25
Problem z minimalną łącznością z klapką

Podczas gry z moim GPS sformułowałem następujący problem. Oto on: Niech będzie grafem ukierunkowanym, tak że jeśli to , tj. jest orientacją leżącego u jego podstaw wykresu niekierowanego. Rozważ następujące operacje:e = ( u , v ) ∈ E ( v , u ) ∉ E GG ( V, E)G(V,E)G(V,E)e = ( u , v ) ∈...

25
Dlaczego istnieje ogromna różnica między rozwiązaniami SAT?

Rozwiązują SAT są bardzo ważne w algebraicznych ataków , na przykład walksat i minisat . Jednak przy rozwiązywaniu problemów z testami porównawczymi dostępnymi tutaj istnieje ogromna różnica w wydajności między nimi - Walksat jest znacznie szybszy niż minisat dla tych problemów. Dlaczego to? Ta...

24
Rozpoczęcie pracy z rozwiązaniami SAT

Chcę zrobić pierwszy solver SAT. Znam konkurs SAT i konferencję SAT i jest tak wiele artykułów na ten temat. Jestem starterem, przytłoczonym starterem. Od czego powinienem zacząć W końcu chcę wprowadzić najnowocześniejsze rozwiązania. Chcę porady ekspertów, jak zacząć, żeby nie marnować czasu na...