Informatica teorica

1

Confrontando due prodotti di elenchi di numeri interi?

Supponiamo di avere due elenchi di numeri interi positivi di virilità limitata e prendo il prodotto di tutti gli elementi di ciascun elenco. Qual è il modo migliore per determinare quale prodotto è più grande? Ovviamente posso semplicemente calcolare ogni prodotto, ma spero che ci sia un approccio più efficiente, …

10 time-complexity nt.number-theory

1

Nome per la sottoclasse "uniformemente polinomiale" di XP?

Supponiamo che sia una lingua parametrizzata rispetto ad un certo alfabeto Σ . La sezione k di L è L k = L ∩ { ( x , k ) ∣ x ∈ Σ ∗ } , l'insieme di istanze in L che hanno il parametro k . La classe …

10 cc.complexity-theory reference-request parameterized-complexity

1

Classi di complessità di casualità e piccoli circuiti

Sia una classe di complessità e sia la controparte randomizzata di definita come rispetto a . Più formalmente forniamo polinomialmente molti bit casuali e accettiamo un input se la probabilità di accettare è superiore a .BP- C C BPP P 2CC\mathcal{C}BP- CBP-C\textrm{BP-}\mathcal{C}CC\mathcal{C}BPPBPP\textrm{BPP}PP\textrm{P}2323\frac{2}{3} È noto che per i circuiti non uniformi …

10 circuit-complexity randomized-algorithms

1

Errore di battitura nel calcolo della carta delle costruzioni?

Nel classico il calcolo della carta delle costruzioni c'è una regola che afferma (pagina 7 del pdf, pagina 101 del documento originale) Questa regola significherebbe che qualsiasi contesto è riducibile a un membro di quel contesto. Sembra che non dovrebbe essere corretto, come implicherebbe 1 ≅ Nat 3 ≅ Nat …

10 lo.logic calculus-of-constructions sequent-calculus

1

Problemi con EXP vs algoritmi subexponential

Il fatto che un problema sia EXP-time completo implica che A non è in D T I M E ( 2 o ( n ) ) ?UNAAUNAAD TioME( 2o ( n ))DTIME(2o(n))DTIME(2^{o(n)}) Sono consapevole che dal teorema della gerarchia temporale, non è incluso in E = D T I M …

10 exp-time-algorithms complexity

1

Esempi di utilizzo di stimatori distorti

Gli stimatori distorti sono utili nelle statistiche perché possono ottimizzare l'errore al quadrato medio più di quello che uno stimatore imparziale può gestire . Mi chiedevo se in teoria CS se ci fossero esempi davvero notevoli dell'uso efficace di stimatori distorti. Mi rendo conto che questo elenco potrebbe richiedere molto …

10 randomized-algorithms

2

Polimorfismo di rango superiore rispetto a tipi non scatolati

Ho una lingua in cui i tipi sono unboxed per impostazione predefinita, con inferenza di tipo basata su Hindley – Milner. Vorrei aggiungere un polimorfismo di rango più elevato, principalmente per lavorare con tipi esistenziali. Penso di capire come controllare questi tipi, ma non sono sicuro di cosa fare durante …

10 type-theory type-inference polymorphism

1

Stato di completezza PP di MAJ3SAT

DOMANDA BREVE: MAJ-3CNF è un problema completo di PP con riduzioni multiple? VERSIONE PIÙ LUNGA: è noto che MAJSAT (che decide se la maggior parte degli incarichi di frase proposizionale soddisfa la frase) è PP completo con riduzioni multiple e #SAT è # P completo con riduzioni parsimoniose. È anche …

10 counting-complexity complexity probabilistic-complexity

2

Mantenimento del valore di un polinomio su un input aggiornato dinamicamente

Sia un polinomio su un campo finito fisso. Supponiamo di avere il valore di su un vettore e sul vettore .P( x1, x2, ... , xn)P(X1,X2,...,Xn)P(x_1, x_2, \ldots, x_n)y ∈ { 0 , 1 } n yPPPy∈ { 0 , 1 }ny∈{0,1}ny \in \{0,1\}^nyyy Vogliamo ora calcolare il valore di …

10 polynomials dynamic-algorithms

1

La casualità vera (dimostrabile) può essere sostituita con la casualità di Kolmogorov per RP?

Ci sono stati tentativi di dimostrare che la casualità di Kolmogorov sarebbe sufficiente per RP ? La probabilità utilizzata nell'affermazione "Se la risposta corretta è SÌ, allora (la macchina di Turing probabilistica) restituisce SÌ con probabilità ..." sarebbe sempre ben definita in quel caso? O ci sarebbero solo limiti superiori …

10 randomized-algorithms randomness pseudorandomness

3

Quando il divario di dualità della programmazione semidefinita (SDP) è zero?

Non sono stato in grado di trovare in letteratura una caratterizzazione precisa della scomparsa del gap di dualità SDP. Oppure, quando regge la "forte dualità"? Ad esempio, quando si va avanti e indietro tra Lasserre e SOS SDP, in linea di principio si ha un divario di dualità. Tuttavia, in …

10 approximation-hardness convex-optimization semidefinite-programming sum-of-squares primal-dual

3

Problema di distanza minima con lunghezza in funzione del tempo

Motivazione L'altro giorno, stavo viaggiando per la città con i mezzi pubblici e ho creato un interessante problema grafico che modella il problema di trovare la connessione più breve tra due luoghi. Conosciamo tutti il classico "Problema del percorso più breve": dato un grafico diretto con le estremità dei bordi …

10 graph-algorithms shortest-path

1

Basi incomplete di combinatori

Questo si ispira a questa domanda. Sia la raccolta di tutti i combinatori che hanno solo due variabili associate. C è combinatoriamente completa?CC\mathcal{C}CC\mathcal{C} Credo che la risposta sia negativa, tuttavia non sono stato in grado di trovare un riferimento per questo. Sarei anche interessato a riferimenti per prove di incompletezza …

10 lo.logic lambda-calculus combinatory-logic

1

Quando BPP con una moneta distorta equivale a BPP standard?

Lascia che una macchina Turing probabilistica abbia accesso a una moneta ingiusta che esce testa con probabilità ppp (i lanci sono indipendenti). Definisci B P P pBPPpBPP_p come la classe di linguaggi riconoscibile da tale macchina in tempo polinomiale. È un esercizio standard per dimostrare che: A) Se ppp è …

10 cc.complexity-theory randomized-algorithms probabilistic-complexity

1

Complessità di raggiungibilità nei sistemi dinamici lineari su campi finiti

Sia una matrice sopra il campo finito e , siano vettori dello spazio . Sono interessato alla complessità computazionale di decidere se esiste tale che , cioè il problema di raggiungibilità per sistemi dinamici lineari su campi finiti.AAAF2={0,1}F2={0,1}\mathbb{F}_2 = \{0,1\}xxxyyyFn2F2n\mathbb{F}_2^nt∈Nt∈Nt \in \mathbb{N}Atx=yAtx=yA^t x = y Il problema è chiaramente in …

10 cc.complexity-theory reference-request linear-algebra