Qualcuno potrebbe indicare uno o più siti Web dove è possibile scaricare un'implementazione funzionante di un solutore #SAT? Sono interessato a coloro che restituiscono il conteggio esatto della soluzione, non un'approssimazione.
Supponiamo che un linguaggio LLL sia P -density-close se esiste un algoritmo temporale polinomiale che decide correttamente LLL su quasi tutti gli input. A∈A∈A\in LΔALΔAL\Delta AALLlimn→∞|(LΔA)∩{0,1}n|2n=0.limn→∞|(LΔA)∩{0,1}n|2n=0.\lim_{n\rightarrow\infty} \frac{|(L\Delta A) \cap \{0,1\}^n|}{2^n}=0.AAALLLLLL Si noti che non deve essere scarso. Ad esempio, se ha stringhe -bit, allora sta ancora svanendo (a una velocità …
Supponiamo di voler ordinare un elenco di numeri reali. Supponiamo che ci venga data una scatola nera che può ordinare istantaneamente numeri reali. Quanto vantaggio possiamo ottenere usando questa scatola nera?n √SSSnnnn--√n\sqrt n Ad esempio, possiamo ordinare i numeri con solo chiamate nella casella nera? Il miglior algoritmo che ho …
Di recente ho letto questo riassunto delle problematiche legate al diff. Supponi inoltre che tra le tue operazioni di modifica consentite vi siano il tradizionale nodo aggiungi / elimina, modifica il contenuto che aggiungi le operazioni estese della sottostruttura copia / sposta, questo rende il problema (di trovare un diff …
Quali sono alcuni risultati noti per trovare un subarray n-dimensionale esatto all'interno di un array n-dimensionale? In 1D, è solo un problema di corrispondenza delle stringhe, KMP lo fa in tempo lineare. In 2D, questo documento ha dimostrato che può essere fatto in tempo lineare con poco spazio extra. Questo …
Un collega che lavora sulla programmazione genetica mi ha posto la seguente domanda. Prima ho provato a risolverlo sulla base di un approccio avido, ma su un secondo pensiero, ho trovato un controesempio all'algoritmo avido. Quindi, ho pensato che valesse la pena menzionarlo qui. Considera due polinomi che sono rappresentati …
Sto cercando un buon sondaggio su algoritmi e complessità delle operazioni di algebra lineare (come rango, inverso, autovalori, ... per booleana, , e interi / razionali matrici) con l'accento sulla parallela ( N C gerarchia) e algoritmi polytime . Non sono riuscito a trovarne uno recente.FpFp\mathbb{F}_pNCNCNC Conosci un recente sondaggio …
Nella classe di complessità PP\mathsf{P} , ci sono alcuni problemi che si ipotizza NON siano nella classe , cioè problemi con algoritmi paralleli deterministici. Il problema del flusso massimo è un esempio. E ci sono problemi a CREDERE di essere in , ma non è stata ancora trovata una prova.NCNC\mathsf{NC}NCNC\mathsf{NC} …
Supponiamo di avere una matrice n per n. È possibile riordinare le sue righe e colonne in modo da ottenere una matrice triangolare superiore? Questa domanda è motivata da questo problema: ordinamento topologico positivo Il problema decisionale originale è difficile almeno quanto questo, quindi un risultato di completezza NP risolverebbe …
Lascia che sia una funzione. Vogliamo stimare la media di , ovvero: .f E [ f ( n ) ] = 2 - n ∑ x ∈ { 0 , 1 } n f ( x )f:{0,1}n→(2−n,1]f:{0,1}n→(2−n,1]f \colon \lbrace 0,1 \rbrace ^ n \to (2^{-n},1]fffE[f(n)]=2−n∑x∈{0,1}nf(x)E[f(n)]=2−n∑x∈{0,1}nf(x)\mathbb{E}[f(n)]=2^{-n}\sum_{x\in \lbrace 0,1 \rbrace ^ n}f(x) …
Qual è la complessità più nota per calcolare l'esatta distanza di modifica tra due stringhe della stessa lunghezza usando uno spazio di lavoro che è sublineare nella dimensione dell'input? Presumo che l'input sia memorizzato in un formato di sola lettura. È un problema precedentemente studiato? Per rendere la domanda un …
Ti viene dato un grafico con vertici. Potrebbe essere bipartito se vuoi. Esistono gruppi di bordi (diciamo disgiunti). Sono interessato al problema di trovare un sottoinsieme , il più piccolo possibile (o anche più piccolo), in modo che il grafico indotto abbia almeno un bordo da ogni classe , per …
Il calcolo della costante di Cheeger di un grafico , noto anche come costante isoperimetrica (poiché è essenzialmente un rapporto area / volume minimo), è noto per essere NP-completo. Generalmente è approssimato. Sono interessato a sapere se sono noti algoritmi polinomiali esatti per classi speciali di grafici. Ad esempio, è …
Qualcuno può aiutarmi con il seguente problema? Voglio trovare alcuni valori (mod ) dove (ad esempio ), dato un elenco di valori che corrisponde alle differenze (ad esempio ), senza conoscere la relazione concreta corrispondente. Poiché i valori a_i, b_j \ pmod N non sono definiti in modo univoco date …
Background: Chao Xu ha postato la seguente domanda qualche tempo fa: " Esistono algoritmi di ordinamento comparativo noti che non si riducono alle reti di ordinamento, in modo tale che ogni elemento venga confrontato volte?O(logn)O(logn)O(\log n) ". Sembra che siamo un po 'bloccati dal problema; Ho discusso dello stesso problema …
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.