Pozwolić solGG być wykresem osadzonym na orientowanej, zwartej powierzchni rodzaju solggtak aby osadzanie było komórkowe. Rozważ podwójność wykresusol∗G∗G^*. Pozwolićdo1C1C_1 i do2)C2C_2 być rozłącznymi cyklami w sol∗G∗G^* które są homotopiczne względem siebie i niech mi1E1E_1 i mi2)E2E_2 być ich...
Szukam wymiaru VC następującego zestawu układów. Wszechświat U={p1,p2,…,pm}U={p1,p2,…,pm}U=\{p_1,p_2,\ldots,p_m\} takie, że U⊆R3U⊆R3U\subseteq \mathbb{R}^3. W ustawionym systemieRR\mathcal{R} każdy zestaw S∈RS∈RS\in \mathcal{R} odpowiada kuli w R3R3\mathbb{R}^3 tak, że zestaw SSS zawiera element w...
W poprzednim pytaniu Sparametryzowany algorytm znajdowania biklików zapytałem, czy istnieją szybkie sparametryzowane algorytmy do znalezieniak×kk×kk\times k-biclique in an nnn wykres wierzchołków i dowiedziałem się, że był otwarty, jeśli jest FPT wrt kkk. To samo odnosi się do liczeniak×kk×kk\times...
Chciałbym przeprosić wszystkie poniższe posty. Wybrałem niewłaściwe forum, aby pierwotnie to opublikować. Jednak zamiast uczynić to kompletnym marnotrawstwem, przerobiłem pytanie, aby było prawdziwym problemem „teoretycznej informatyki”. Problem: Utwórz algorytm, który pobiera zestaw n...
Pozwolić S.SSbyć kwadratem jednostkowym. W funkcjiββ\beta, jaka jest maksymalna liczba ββ\beta-tłuszczowe regiony rozłączne parami o średnicy co najmniej 1, które mogą się przecinaćS.SS? Poniżej podajemy liczbę, która to pokazuje β= 1β=1\beta=1, maksymalna liczba to 7. Po co...
Istnieje kilka problemów z NP-Complete (SATSAT \mathsf{SAT} , SUBSETSUMSUBSETSUM \mathsf{SUBSETSUM} itd.) DSPACE(n)DSPACE(n) \mathsf{DSPACE(n)} . Co z przestrzeniami nieliniowymi? Czy istnieje jakiś znany problem NP-Complete (lub NP-Intermediate) w podliniowej niedeterministycznej...
Według tytułu, oprócz korzystania z solwera LP ogólnego przeznaczenia, istnieje podejście do rozwiązywania układów nierówności względem zmiennych xja, ... ,xkxi,…,xkx_i, \ldots, x_k gdzie nierówności mają formę ∑ja ∈ jaxja<∑j ∈ Jxjot∑i∈Ixi<∑j∈Jxj\sum_{i \in I} x_i < \sum_{j \in J} x_j? Co ze...
To pytanie zadałem na forum matematyki SE i zostałem tutaj skierowany. Oto pytanie Jestem nowicjuszem zarówno w matematyce formalnej, jak i informatyce teoretycznej, więc proszę o wyrozumiałość, jeśli okaże się, że moje pytanie nie jest odpowiednio sformułowane. Modelowanie obiektowe wydaje się...
Załóżmy, że mamy do wykresu na węzłów. Chcielibyśmy przypisać do każdego węzła lub . Nazwij to konfiguracją . Liczba s, które musimy przypisać, to dokładnie (stąd liczba s to .) Biorąc pod uwagę konfiguracji , patrzymy na każdy węzeł i sumujemy wartości przypisane jego sąsiadom, wywołanie to ....
Szukam twierdzenia, które mówi coś takiego: jeśli czas pokrycia odwracalnego łańcucha Markowa jest mały, to szczelina widmowa jest duża. Tutaj oznacza lukę widmową1 - |λ2)|1-|λ2)|1-|\lambda_2|oznacza to, że ignorujemy najmniejszą wartość własną łańcucha. Jedyny wynik, jaki udało mi się znaleźć w...
Edycja: teraz jest pytanie uzupełniające związane z tym postem. Definicje Niech i będą liczbami całkowitymi. Używamy notacji .ccckkk[i]={1,2,...,i}[i]={1,2,...,i}[i] = \{1,2,...,i\} macierzy mówi się -to- barwiących matrycy , jeśli zachodzi:c×cc×cc \times cM=(mi,j)M=(mi,j)M =...
Zadałem ten problem w MathOverflow , bez zadowalającej odpowiedzi. Rozważ następującą grę dla dwóch graczy, która jest uproszczeniem gry karcianej o nazwie Zwycięzca . (Poniższe sformułowanie zostało zaczerpnięte z komentarza Guillaume Brunerie na temat MathOverflow.) Jest dwóch graczy A i B....
Szukam algorytmu do rysowania mieszanego wykresu okręgów / zależności (dla aplikacji językowych). Taki wykres miałby dwa różne typy wierzchołków (tokeny, węzły) i dwa różne typy krawędzi (hierarchiczne, niehierarchiczne). Jestem nowy w teorii grafów i algorytmach w ogóle i mam nadzieję, że to...
Walczyłem ze szczegółami technicznymi dowodu dotyczącego teorii aukcji w tym artykule: http://users.eecs.northwestern.edu/~hartline/omd.pdf W szczególności Twierdzenie 2.5: Warunki konieczne i wystarczające dla prawdziwego mechanizmu. Mówiąc dokładniej, kierunek dowodu do przodu, podany na...
Pracuję w dziedzinie inżynierii budowlanej i chciałbym znaleźć skuteczny algorytm do konstruowania aproksymacji (w metodzie Hausdorffa) ciała wypukłego K.K.K przez wypukły kadłub nnn elipsoidy, dla niektórych naprawione nnn. Obecnie pracuję tylko w wymiarach 2 i 3. Moim pierwszym pomysłem była...
Background––––––––––––––Background_\underline{\bf Background} W 2005 r. Regev [1] wprowadził problem uczenia się z błędami (LWE), uogólnienie problemu parzystości uczenia się z błędem. Założenie o twardości tego problemu dla niektórych wyborów parametrów leży obecnie u podstaw dowodów...
Moje pytanie dotyczy teorii modeli skończonych / złożoności opisowej, więc FO(R)FO(R)FO(R) będzie oznaczać „pierwszy rząd nad skończonymi słowami binarnymi, przy użyciu predykatów Rs i jednoargumentowego predykatu P true na pozycji 1 w słowie”. Chciałbym wiedzieć, czy jest jakakolwiek...
To delikatne pytanie mające na celu ustalenie, co ludzie uważają za najlepszą praktykę zawodową w zakresie nieoryginalnej pracy nad arXiv. Istnieje szkic artykułu [1] autorstwa Roberta Szelepcsényiego, opublikowanego w jego przestrzeni internetowej na Uniwersytecie w Chicago, najwyraźniej napisany...
Wiem, że oczekiwany najgorszy czas działania randomizowanego przyrostowego algorytmu triangulacji delauny (jak podano w geometrii obliczeniowej ) to . Istnieje ćwiczenie sugerujące, że najgorszym środowiskiem uruchomieniowym jest . Próbowałem skonstruować przykład, w którym tak naprawdę jest, ale...
Pozwolić XXX być zmienną losową przyjmującą wartości w ΣnΣn\Sigma^n (dla jakiegoś dużego alfabetu ΣΣ\Sigma), który ma bardzo wysoką entropię - powiedzmy, H(X)≥(n−δ)⋅log|Σ|H(X)≥(n−δ)⋅log|Σ|H(X) \ge (n- \delta)\cdot\log|\Sigma| dla arbitralnie małej stałej δδ\delta. PozwolićE⊆Supp(X)E⊆Supp(X)E...