W związku z układanką Slither Link zastanawiałem się: Załóżmy, że mam siatkę kwadratowych komórek i chcę znaleźć prosty cykl krawędzi siatki, równomiernie losowy wśród wszystkich możliwych prostych cykli.n × nn×nn\times n Jednym ze sposobów na to byłoby użycie łańcucha Markowa, którego stanami są...
Spełnialności problemem jest to, oczywiście, podstawowym problemem teoretycznym CS. Bawiłem się jedną wersją problemu z nieskończenie wieloma zmiennymi. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Podstawowe ustawienia. Niech będzie niepustym i prawdopodobnie nieskończonym...
Ponieważ termin jest przeciążony, najpierw krótka definicja. Poset jest zbiorem XXX wyposażonym w częściowy porządek ≤≤\le . Biorąc pod uwagę dwa elementy a,b∈Xa,b∈Xa,b \in X , możemy zdefiniować (złączenie) jako ich najmniejszą górną granicę w i podobnie zdefiniować (spełnić) (połączyć) jako...
Mam dwie partycje [1…n][1…n][1 \ldots n] i szukam odległości edycji między nimi. W ten sposób chcę znaleźć minimalną liczbę pojedynczych przejść węzła do innej grupy, które są niezbędne do przejścia z partycji A na partycję B. Na przykład odległość od {0 1} {2 3} {4}do {0} {1} {2 3 4}wynosi...
Rozważ następujący problem: Dane wejściowe : hiperpłaszczyzna H = { y ∈ R n : a T y = b }H={y∈Rn:aTy=b}H = \{ \mathbf{y} \in \mathbb{R}^n: \mathbf{a}^T\mathbf{y} = {b}\} , podana przez wektor a ∈ Z na∈Zn\mathbf{a} \in \mathbb{Z}^n i b ∈ Zb∈Zb \in \mathbb{Z} w standardowej reprezentacji...
Zadałem to pytanie kilka tygodni temu w Mathoverflow , ale nie otrzymałem odpowiedzi. Tutaj przez siatkę 3D długości bocznej rozumiem wykres G = ( V , E ) z V = { 1 , … , k } 3 i E = { ( ( a , b , c ) , ( x , y , z ) ) ∣ | a - x | + | b - y | + | dokkkG=(V,E)G=(V,E)G=(V,E)V={1,…,k}3V={1,…,k}3V=...
EDYCJA (autor: Tara B): Nadal byłbym zainteresowany odniesieniem do dowodu na to, ponieważ musiałem to udowodnić na własne potrzeby. Szukam dowodu Twierdzenia 4, który pojawia się w tym artykule: Nieskończona hierarchia skrzyżowań języków bezkontekstowych autorstwa Liu i Weinera. Twierdzenie...
Hiroimono jest popularną łamigłówką . Interesuje mnie złożoność obliczeniowa powiązanej układanki.N.P.NPNP Problemem jest: Dane wejściowe : Biorąc pod uwagę zestaw punktów na siatce kwadratowej x i liczbie całkowitejn knnnnnnkkk Pytanie : Czy istnieje wielokąt prostoliniowy (jego boki...
Najpierw zapytany na stronie math.SE bez odpowiedzi Załóżmy, że mam wykres płaski z osadzeniem planarnym, jak znaleźć rozkład drzewa? Jaki jest optymalny rozkład drzewa siatki kwadratowej -by- ? Nie do końca pewny, jak zdefiniować „optymalny”, ale powinien odróżniać rozkład z jedną dużą torbą od...