Informatica teorica reference-request

1

Sto cercando di trovare problemi la cui complessità nello spazio nel caso medio è stata analizzata. Più specificamente, sono interessato a sapere se ci sono problemi con una comprovata complessità dello spazio limite inferiore che è super-lineare, e soprattutto se ce ne sono con un'analisi di caso medio (ad esempio, …

11 cc.complexity-theory reference-request space-bounded average-case-complexity

1

Sottoforeste con peso minimo della cardinalità data

Questa domanda è stata motivata da una domanda posta su StackOverflow . Supponiamo che ti venga dato un albero radice (cioè che ci sia una radice e che i nodi abbiano figli ecc.) Su n nodi (etichettati 1 , 2 , ... , n ).TTTnnn1 , 2 , … , …

11 cc.complexity-theory reference-request np-hardness tree application-of-theory

1

Limiti inferiori per la comunicazione non deterministica multipartitica

Questa è una continuazione della mia precedente domanda sulla comunicazione limiti inferiori per funzioni booleane parziali . Qualcuno può suggerire qualche riferimento su limiti inferiori per la comunicazione non deterministica multiparty? Ho esaminato i documenti sul campo, ma tutti sembrano mostrare separazioni del seguente tipo: un limite inferiore per il …

11 cc.complexity-theory reference-request lower-bounds communication-complexity norms

1

Apprendimento agnostico su distribuzioni arbitrarie

DDD{0,1}d×{0,1}{0,1}d×{0,1}\{0,1\}^d\times \{0,1\}CCCf:{0,1}d→{0,1}f:{0,1}d→{0,1}f:\{0,1\}^d\rightarrow\{0,1\}f∈Cf∈Cf \in CO P T ( C , D ) = min f ∈ C e r r ( f , D )err(f,D)=Pr(x,y)∼D[f(x)≠y]err(f,D)=Pr(x,y)∼D[f(x)≠y]err(f,D) = \Pr_{(x,y) \sim D}[f(x) \neq y]OPT(C,D)=minf∈C err(f,D)OPT(C,D)=minf∈C err(f,D)OPT(C,D) = \min_{f \in C}\ err(f,D) Supponiamo che un algoritmo AAA apprenda agnosticamente CCC su qualsiasi distribuzione, se per …

11 reference-request machine-learning lg.learning

1

Le persone osservano la nidificazione dei circuiti nei circuiti booleani?

Mentre ero un laureando in EE ho partecipato ad alcune lezioni che presentavano una bella caratterizzazione dei circuiti booleani in termini di quanti cicli nidificati hanno. Nella complessità, i circuiti booleani sono spesso pensati come punti deboli, ma nei cicli hardware reali sono comuni. Ora, modulo alcuni aspetti tecnici riguardo …

11 cc.complexity-theory reference-request circuit-complexity machine-models ar.hardware-architecture

1

Calcolo di set max senza H

In un grafico, un insieme indipendente è un sottoinsieme di vertici che non contiene un bordo come un sottografo indotto. Il problema di trovare i più grandi insiemi indipendenti in un grafico è una questione algoritmica fondamentale, e difficile a questo. Consideriamo la domanda più generale di trovare (la dimensione …

11 ds.algorithms reference-request graph-theory np-hardness co.combinatorics

2

Il System F con le coppie ha le forti proprietà di normalizzazione e riduzione del soggetto?

È facile guardare in molti libri di testo le prove della riduzione del soggetto e della forte normalizzazione per il Sistema F, inoltre, a volte ci sono definizioni di Sistema F con coppie, dove (t, r) è un termine, non solo una codifica. La domanda è: quale sarebbe il riferimento …

11 reference-request lo.logic type-theory lambda-calculus polymorphism

1

Qualcuno può suggerire un recente sondaggio sulle catene di prodotti Markov?

Sono particolarmente interessato al loro utilizzo nelle applicazioni di verifica dei modelli. Ho reti aperte, chiuse e miste di code con diverse classi di clienti di Baskett et al. Altri suggerimenti per la lettura di materiale? Grazie.

11 reference-request markov-chains queueing-theory model-checking

3

Fa implicano la connettività forte?

Indica con il grado minimo in , e con il grado minimo in.δ+(G)δ+(G)\delta^+(G)GGGδ−(G)δ−(G)\delta^-(G) In una domanda correlata , ho citato l'estensione Ghouila-Houri del teorema di Dirac sui cicli hamiltoniani , che suggerisce che if allora G è hamiltoniano.δ+(G),δ−(G)≥n2δ+(G),δ−(G)≥n2\delta^+(G),\delta^-(G) \geq \frac{n}{2} Nel suo commento, Saeed ha commentato una diversa estensione che …

11 reference-request graph-theory

1

Trovare un doppio di un grafico

Secondo il libro Topological Graph Theory di Gross and Tucker, dato l'incorporamento cellulare di un grafico su una superficie (per "superficie" intendo qui una sfera con alcune maniglie , e sotto S n si riferisce alla sfera con esattamente n maniglie), è possibile definire una doppia multigrafo trattando le facce …

11 ds.algorithms reference-request graph-theory cg.comp-geom topological-graph-theory

4

Ripristino della pendenza di una linea digitalizzata

C'è stato qualche lavoro per recuperare la pendenza di un segmento di linea dalla sua digitalizzazione? Non si può fare questo con la massima precisione, ovviamente; ciò che si desidera è un metodo per derivare da una linea digitalizzata un intervallo di possibili pendenze. (La nozione di una linea digitalizzata …

11 reference-request cg.comp-geom cv.computer-vision image-processing

5

Funzioni sottomodulari: richiesta di riferimento

Sarei molto interessato ai riferimenti alla teoria delle funzioni sottomodulari (dalle basi alle avanzate). In particolare, sto studiando approssimazioni a difficili problemi di ottimizzazione e voglio sviluppare le mie basi nelle funzioni sottomodulari in quanto sono rilevanti per i problemi di ottimizzazione che ho studiato. Grazie in anticipo.

11 ds.algorithms reference-request approximation-algorithms optimization

2

Intuizione dietro positività rigorosa?

Mi chiedo se qualcuno possa darmi l'intuizione dietro perché la rigida positività dei tipi di dati induttivi garantisce una forte normalizzazione. Per essere chiari, vedo come avere eventi negativi porti a divergenze, cioè definendo: data X where Intro : (X->X) -> X possiamo scrivere una funzione divergente. Ma mi chiedo, …

10 reference-request pl.programming-languages type-theory type-systems dependent-type

1

Tecniche di prova per dimostrare che il controllo del tipo dipendente è decidibile

Sono in una situazione in cui devo dimostrare che il controllo del tipo è decidibile per un calcolo tipicamente dipendente sul quale sto lavorando. Finora sono stato in grado di dimostrare che il sistema si sta fortemente normalizzando, e quindi che l'uguaglianza di definizione è decidibile. In molti riferimenti che …

10 reference-request pl.programming-languages type-theory dependent-type typed-lambda-calculus

1

Algoritmi di inversione di programma per programmi di ordine superiore

Il termine inversione di programma ha molteplici sfumature di significato, ma probabilmente è iniziato con il lavoro di J. McCarthy del 1956 The Inversion of Functions definito da Turing Machines nel contesto dell'IA. Ormai sono state scoperte molte connessioni tra inversione di programma e altri campi, ad esempio programmazione reversibile …

10 reference-request lambda-calculus typed-lambda-calculus reversible-computing

Domande taggate «reference-request»