Modifica: ho prima sbagliato a formulare il mio vincolo (2), ora è stato corretto. Ho anche aggiunto ulteriori informazioni ed esempi. Con alcuni colleghi, studiando qualche altra questione algoritmica, siamo riusciti a ridurre il nostro problema fino al seguente problema interessante, ma non siamo stati in grado di risolvere la …
Dato nnn sottogruppi S1,…,SnS1,…,SnS_1,\ldots,S_n di {1,…,d}{1,…,d}\{1,\ldots,d\} . Si,SjSi,SjS_i,S_jSi⊊SjSi⊊SjS_i \subsetneq S_j La banale soluzione a questo problema passa attraverso tutte le coppie di insiemi e verifica l'inclusione di una coppia nel tempo , quindi il tempo di esecuzione complessivo è . Questo problema può essere risolto più velocemente? C'è un nome …
Le congetture di ricostruzione dicono che i grafici (con almeno tre vertici) sono determinati in modo univoco dai loro sottografi eliminati dal vertice. Questa congettura ha cinque decenni. Cercando letteratura pertinente, ho scoperto che le seguenti classi di grafici sono note per essere ricostruibili: alberi grafici disconnessi, grafici il cui …
Dato un enorme database di parole consentite (in ordine alfabetico) e una parola, trova la parola dal database più vicina alla parola data in termini di distanza di Levenshtein. L'approccio ingenuo è, ovviamente, semplicemente calcolare la distanza di levenshtein tra la parola data e tutte le parole del dizionario (possiamo …
Per una costante , si può determinare in tempo lineare, dato un grafico di input G , se la sua larghezza dell'albero è ≤ k . Tuttavia, quando entrambi k e G sono dati come ingresso, il problema è NP-hard. ( Fonte ).k∈Nk∈Nk \in \mathbb{N}GGG≤k≤k\leq kkkkGGG Tuttavia, quando il grafico …
Ho letto in innumerevoli articoli che determinare la costante di Cheeger di un grafico è -hard. Sembra un teorema popolare, ma non ho mai trovato né una citazione né una prova per questa affermazione. A chi dovrei dare credito? In un vecchio documento (Isoperimetric Numbers of Graphs, J. Comb. Theory …
La teoria della complessità, attraverso concetti come la completezza NP, distingue tra problemi computazionali che hanno soluzioni relativamente efficienti e quelli che sono intrattabili. La complessità "a grana fine" mira a perfezionare questa distinzione qualitativa in una guida quantitativa per quanto riguarda il tempo esatto richiesto per risolvere i problemi. …
Attualmente bitcoin ha un sistema di prova di lavoro (PoW) che utilizza SHA256. Altre funzioni hash utilizzano grafici di prova del sistema di lavoro, inversione parziale della funzione hash. È possibile utilizzare un problema decisionale nella teoria dei nodi come il riconoscimento dei nodi e trasformarlo in una funzione di …
Per un alfabeto finito fisso ΣΣ\Sigma , un linguaggio formale LLL su ΣΣ\Sigma è regolare se esiste un automa a stati finiti deterministico (DFA) su ΣΣ\Sigma che accetta esattamente LLL . Sono interessato a lingue "quasi" regolari, nel senso che possono essere riconosciute da famiglie di dimensioni di automi che …
Attualmente sto cercando di trovare problemi completi di EXPSPACE (principalmente per trovare l'ispirazione per una riduzione), e sono sorpreso dal piccolo numero di risultati che arrivano. Finora li ho trovati e ho difficoltà a espandere l'elenco: universalità (o altre proprietà) delle espressioni regolari con esponenziazione. problemi relativi ai sistemi di …
Alcuni di voi potrebbero aver seguito questa domanda , che è stata chiusa a causa del mancato livello di ricerca. Quindi, sto estraendo la parte della domanda che è a livello di ricerca. Al di là delle tecniche "più semplici", come la riduzione all'ordinamento o un problema completo EXPTIME, quali …
mmmnnnm≫nm≫nm \gg nXiXiX_iiiiXmaxXmaxX_\maxXminXminX_\minXsec−maxXsec−maxX_{\mathrm{sec-max}}Xi−Xj∼N(0,2m/n)Xi−Xj∼N(0,2m/n)X_i - X_j \sim N(0,2m/n)|Xi−Xj|=Θ(m/n−−−−√)|Xi−Xj|=Θ(m/n)|X_i - X_j| = \Theta(\sqrt{m/n}) i,ji,ji,jXmax−Xmin=O(mlogn/n−−−−−−−−√)Xmax−Xmin=O(mlogn/n)X_{\max} - X_{\min} = O(\sqrt{m\log n/n})n/2n/2n/2 coppie di bidoni disgiunti. Questo argomento (non del tutto formale) ci porta ad aspettarci che il divario tra e sia con alta probabilità.XmaxXmaxX_{\max}XminXminX_{\min}Θ(mlogn/n−−−−−−−−√)Θ(mlogn/n)\Theta(\sqrt{m\log n/n}) Sono interessato al divario tra e . L'argomento sopra …
Sono interessato al problema di impacchettare copie identiche di rettangoli (bidimensionali) in un poligono convesso (bidimensionale) senza sovrapposizioni. Nel mio problema non ti è permesso di ruotare i rettangoli e puoi supporre che siano orientati parallelamente agli assi. Ti sono appena date le dimensioni di un rettangolo e i vertici …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.