Informatica teorica

1

Qual è la differenza tra il modello di attore di concorrenza e i processi sequenziali comunicanti

Sto cercando di capire quali sono le reali differenze tra il modello di concorrenza degli attori e il modello di concorrenza dei processi sequenziali di comunicazione (CSP). Finora il meglio che sono riuscito a trovare è che il modello di attore consente di modificare il numero e il layout dei …

26 concurrency

2

Il calcolo lambda e la logica combinatoria sono uguali?

Attualmente sto leggendo " Lambda-Calculus and Combinators " di Hindley e Seldin. Non sono un esperto, ma mi sono sempre interessato al calcolo lambda a causa del coinvolgimento con la programmazione funzionale (a partire da Lisp e SICP, e ora con R e Haskell). In " Binary Lambda Calculus and …

26 combinatory-logic functional-programming lambda-calculus

4

Compendio dei migliori risultati di approssimazione e durezza per problemi di ottimizzazione NP

Conosci qualche wiki aggiornato dedicato ai problemi di ottimizzazione NP con i loro migliori risultati di approssimazione e durezza? Sulla base del feedback, sembra sicuro supporre che non ci sia una tale risorsa (vedi la fine di questa domanda per due opzioni vicine). - aggiunto l'8 febbraio. Poiché vi è …

26 ds.algorithms reference-request approximation-algorithms approximation-hardness

3

NP-difficile riprodurre correttamente le bozze internazionali?

Il seguente problema è NP-difficile? Data una configurazione della scheda per progetti internazionali , trova una singola mossa legale.n × nn×nn\times n Il problema corrispondente per dama americana (alias bozze inglesi) è banalmente risolvibile in tempi polinomiali. Ci sono tre principali differenze tra questi due giochi.n × nn×nn\times n La …

26 cc.complexity-theory np-hardness open-problem board-games

3

Problemi intermedi tra L e NL

È noto che la connettività st diretta è . Risultato svolta di Reingold ha dimostrato che non orientato st-connettività è in L . Planare diretto st-connettività è noto per essere in U L ∩ c o U L . Cho e Huynh definito un problema di zaino parametrizzata ed esposte …

26 cc.complexity-theory space-bounded

3

Problemi naturali in

Ci sono problemi naturali in che non sono (noti per essere / pensati di essere) in U P ∩ c o U P ?NP∩ c o NPNP∩coNPNP \cap coNPUP∩ c o UPUP∩coUPUP \cap coUP Ovviamente il grosso tutti conoscono in è la versione decisione di factoring (non n hanno un …

26 cc.complexity-theory complexity-classes np

3

Traduzione di SAT in HornSAT

È possibile tradurre una formula booleana B in una congiunzione equivalente di clausole di Horn? L'articolo di Wikipedia su HornSAT sembra implicare che lo sia, ma non sono stato in grado di inseguire alcun riferimento. Nota che non intendo "in tempo polinomiale", ma piuttosto "affatto".

26 reference-request lo.logic sat

4

Copertura impostata per la frequenza limitata della cardinalità limitata: durezza di approssimazione

Considera il problema minimo di copertura dei set con le seguenti restrizioni: ogni set contiene al massimo elementi e ogni elemento dell'universo si presenta al massimo in set.kkkfff Esempio: il caso e equivale al problema di copertura minima del vertice nei grafici con grado massimo 4.k=4k=4k = 4f=2f=2f = 2 …

26 cc.complexity-theory reference-request approximation-algorithms set-cover np-hardness

1

Riconoscere le sequenze con tutte le permutazioni di

Per ogni , dico che una sequenza s di interi in { 1 , ... , n } è n Completa se, per ogni permutazione p di , scritto come una sequenza di coppie interi distinti , la sequenza è una di , ovvero esistetale che per tutto .n>0n>0n > …

25 cc.complexity-theory co.combinatorics np-hardness permutations

5

Esistono sistemi di verifica formale con annotazioni per linguaggi di programmazione funzionali puri?

ACSL (Ansi C Specification Language), è una specifica per il codice C, annotata con commenti speciali, che consente di verificare formalmente il codice C. Non ci ho pensato , ma immagino che i metodi formali utilizzati nei verificatori ACSL sarebbero simili a Hoare Logic. Per i linguaggi puramente funzionali, come …

25 lo.logic pl.programming-languages functional-programming formal-methods haskell

3

C'è stata qualche ricerca su

Una caratteristica ben nota delle istanze -SAT è il rapporto tra il numero di clausole m e il numero di variabili n , ovvero il quoziente ρ = m / n . Per ogni k , esiste un valore di soglia α st \ per ρ ≪ α , la …

25 cc.complexity-theory sat random-k-sat phase-transition

2

Esiste un linguaggio NP completo che contiene esattamente la metà delle istanze n-bit?

Esiste un linguaggio (preferibilmente naturale) NP completo , tale che per ogni detiene? In altre parole, contiene esattamente la metà di tutte le istanze -bit.L⊆{0,1}∗L⊆{0,1}∗L\subseteq \{0,1\}^*n≥1n≥1n\geq 1 |L∩{0,1}n|=2n−1|L∩{0,1}n|=2n−1|L\cap \{0,1\}^n|=2^{n-1}LLLnnn

25 cc.complexity-theory np np-complete

1

La complessità cubica è ancora lo stato dell'arte per LP?

Secondo D. den Hertog, Interior Point Approach to Linear, Quadratic and Convex Programming, 1994 , un programma lineare con variabili, n vincoli e precisione L è risolvibile nel tempo O ( n 3 L ) . È stato migliorato?nnnnnnLLLO ( n3L )O(n3L)O(n^3L)

25 cc.complexity-theory reference-request linear-programming

3

Algoritmo non banale per il calcolo di una mediana a finestra scorrevole

Devo calcolare la mediana corrente: Input: nnn , , vettore .( x 1 , x 2 , … , x n )Kkk( x1, x2, ... , xn)(x1,x2,…,xn)(x_1, x_2, \dotsc, x_n) Output: vettore , dove è la mediana di .y i ( x i , x i + 1 , …

25 ds.algorithms ds.data-structures lower-bounds

4

La complessità temporale deterministica più nota è più bassa per un problema naturale in NP

Questa risposta ai maggiori problemi irrisolti nell'informatica teorica? domanda afferma che è aperto se un particolare problema in NP richiede tempo .Ω ( n2)Ω(n2)\Omega(n^2) Guardando i commenti in risposta mi sono fatto meravigliare: A parte il padding e trucchi simili, qual è la complessità temporale più nota inferiore legata a …

25 cc.complexity-theory np p-vs-np