Informatica teorica

1

Decidere se cambiare una voce riduce il permanente di una matrice nella gerarchia polinomiale?

Considera il seguente problema: data una matrice , indici i , j ∈ { 1 , ... , n } e un numero intero a . Sostituire M [ i , j ] da una e chiamare nuova matrice M . Is p e r ( M ) > pM∈ …

11 permanent

1

Perché i grafici riflessivi per parametricità?

Osservando i modelli di polimorfismo parametrico, sono curioso di sapere perché vengono utilizzate le categorie dei grafici riflessivi ? In particolare, perché non includono la composizione relazionale? Osservando i modelli, sembrano tutti supportare una nozione naturale di composizione relazionale: x ( R ; S) z⟺∃ y. x R y∧ ySzx(R;S)z⟺∃y.xRy∧ySz …

11 ct.category-theory parametricity logical-relations

1

Entscheidungsproblem vs. Unvollständigkeitssatz (soft question)

Il primo termine viene usato da Hilbert nel suo lavoro del 1928, ma nel lavoro successivo di Gödel, la stessa cosa viene definita Unvollständigkeitssatz ("teorema di incompletezza"). Per gli odierni ricercatori tedeschi di CS, sembra che Unvollständigkeitssatz sia più comunemente usato, e il problema Entscheidungs ("problema decisionale") è ancora compreso, …

11 lo.logic computability ho.history-overview

1

Che aspetto ha un Quantum-Gate tangibile?

Ho letto libri, articoli e articoli pubblicati sull'informatica quantistica. Ho scoperto che tutti i materiali che ho visto sono, invece di descrivere la porta quantica dalla fisica di base all'astrazione, cercando di evitare di parlare dei dettagli di implementazione delle porte quantistiche . In primo luogo mi sono chiesto: sto …

11 physics quantum-computing

1

vs

È ? O, più in generale, è ?NPPP=PPPNPPP=PPP\mathsf{NP^{PP}} = \mathsf{P^{PP}}NPPP⊆PPP/polyNPPP⊆PPP/poly\mathsf{NP^{PP}} \subseteq \mathsf{P^{PP}/poly}

11 complexity-classes

1

Qual è il nome di una funzione

Let sia un linguaggio e una funzione su due parametri con la proprietà che per tutti ed , restituisce un elemento di se e solo se sia che sono elementi di :f : Σ ⋆ × Σ ⋆ → Σ ⋆ x y f L x y LLLLf: Σ⋆× Σ⋆→ …

11 reference-request fl.formal-languages

1

Generalizzazione del teorema di Dilworth per i DAG etichettati

Un un'anticatena in un DAG è un sottoinsieme di vertici che sono coppie irraggiungibile, cioè, non vi tale che è raggiungibile da in . Dal teorema di Dilworth nella teoria dell'ordine parziale, è noto che se il DAG non ha antichain di dimensione , allora può essere decomposto in un'unione …

11 reference-request graph-theory directed-acyclic-graph partial-order

1

Casella allineata all'asse più piccola che contiene

Input: un set di punti in R 3 e un numero intero k ≤ n .nnnR3R3\mathbb{R}^3k≤nk≤nk \le n Output: il riquadro di delimitazione allineato all'asse del volume più piccolo che contiene almeno di questi n punti.kkknnn Mi chiedo se sono noti algoritmi per questo problema. Il meglio che mi venne …

11 cg.comp-geom

1

Enumerazione delle specie topologiche di un DAG marcato con vertici

Let sia un grafo orientato aciclico , e lasciare essere una funzione di etichettatura mappatura ogni vertice a un'etichetta in qualche finita alfabeto . Scrittura, una specie topologica di è una biiezione da a (cioè un ordinamento di in una sequenza) tale che ogni volta che poi (cioè, se c'è …

11 cc.complexity-theory sorting directed-acyclic-graph partial-order

1

In che modo le riviste servono la comunità TCS?

In passato, le riviste erano il modo principale in cui le scoperte scientifiche / matematiche venivano divulgate e verificate. In alcune aree lo sono ancora. Tuttavia, nell'informatica (teorica) quel ruolo è quasi interamente svolto da conferenze e divulgazione basata sul web (ad es. Arxiv o home page personali). Ci sono …

11 soft-question journals

1

Generare casualità "infinita" da un numero costante di fonti

Di recente mi sono imbattuto in un articolo di Coudron e Yuen sull'espansione della casualità usando dispositivi quantistici. Il risultato principale del lavoro è che è possibile generare casualità "infinita" da un numero costante di sorgenti (ovvero, il numero di bit casuali generati dipende solo dal numero di round del …

11 cc.complexity-theory quantum-information

1

Tipi dipendenti dal tipo con codifica Church in PTS / CoC

Sto sperimentando sistemi di tipo puro nel cubo lambda di Barendregt, in particolare con il più potente, il Calculus of Constructions. Questo sistema ha specie *e BOX. Per la cronaca, di seguito sto usando la sintassi concreta dello Mortestrumento https://github.com/Gabriel439/Haskell-Morte-Library che è vicino al classico calcolo lambda. Vedo che possiamo …

11 type-theory type-systems dependent-type

1

Digraph minimo equivalente rispetto a fonti e pozzi

Dato un DAG (grafo aciclico diretto) , con sorgenti e lavelli . Trova un DAG , con sorgenti e lavelli , con un numero minimo di spigoli tale che:DDDT D ′ S TSSSTTTD'D′D'SSSTTT Per tutte le coppie esiste un percorso da a in se e solo se esiste un percorso …

11 graph-theory graph-algorithms

2

Determinare ciò che può essere ottenuto mediante una permutazione di elementi di un gruppo non comunicativo

Fissare un gruppo finito . Sono interessato al seguente problema decisionale: l'input sono alcuni elementi di G con un ordine parziale su di essi, e la domanda è se esiste una permutazione degli elementi che soddisfa l'ordine ed è tale che la composizione degli elementi in quella l'ordine produce l'elemento …

11 np-hardness sorting gr.group-theory partial-order order-theory

2

Conseguenza di PIT su

Dato in modo tale che i coefficienti di p , q sono delimitate da B , vuol p ≡ q hold ?p ( x1, ... , xn) , q( x1, ... , xn) ∈ Z [ x1, ... , xn]p(x1,…,xn),q(X1,...,Xn)∈Z[X1,...,Xn]p(x_1,\dots,x_n),q(x_1,\dots,x_n)\in \Bbb Z[x_1,\dots,x_n]p , qp,qp,qBBBp ≡ qp≡qp\equiv q Il lemma di …

11 big-picture derandomization conditional-results