Perguntas com a marcação «reference-request»

Estou tentando encontrar problemas cuja complexidade de espaço de caso médio foi analisada. Mais especificamente, estou interessado em saber se existem problemas com um limite inferior da complexidade de espaço comprovado que é super-linear e, especialmente, se houver algum com uma análise de caso médio (por exemplo, o limite é …

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

Esta pergunta foi motivada por uma pergunta no stackoverflow . Suponha que você está dado uma árvore enraizada (ou seja, há uma raiz e nós ter filhos, etc.) em n nós (rotulados 1 , 2 , ... , n ).TTTnnn1,2,…,n1,2,…,n1, 2, \dots, n Cada vértice tem um peso inteiro não …

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

Esta é uma continuação da minha pergunta anterior sobre limites inferiores de comunicação para funções booleanas parciais . Alguém pode sugerir alguma referência nos limites inferiores para comunicação multipartidária não determinística? Venho pesquisando os artigos em campo, mas todo mundo parece mostrar separações do seguinte tipo: um limite inferior para …

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

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 )e r r ( 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]O PT( C, …

11 reference-request  machine-learning  lg.learning 

Enquanto estudante de EE, participei de algumas palestras que apresentavam uma boa caracterização de circuitos booleanos em termos de quantos ciclos aninhados eles tinham. Na complexidade, os circuitos booleanos são frequentemente vistos como dags, mas em ciclos reais de hardware são comuns. Agora, modulando alguns detalhes técnicos sobre o que …

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

Em um gráfico, um conjunto independente é um subconjunto de vértices que não contém uma aresta como um subgrafo induzido. O problema de encontrar os maiores conjuntos independentes em um gráfico é uma questão algorítmica fundamental e difícil. Vamos considerar a questão mais geral de encontrar (o tamanho de) o …

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

É fácil procurar em muitos livros didáticos as provas de redução de assunto e forte normalização do Sistema F; também, às vezes, existem definições do Sistema F com pares, onde (t, r) é um termo, não apenas uma codificação. A questão é: qual seria a referência para esse sistema?

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

Estou especialmente interessado em seu uso em aplicativos de verificação de modelo. Tenho redes abertas, fechadas e mistas de filas com diferentes classes de clientes por Baskett et al. Alguma outra sugestão para ler material? Obrigado.

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

Denota por o grau mínimo de saída em G e por δ - ( G ) o mínimo de grau.δ+(G)δ+(G)\delta^+(G)GGGδ−(G)δ−(G)\delta^-(G) Em uma pergunta relacionada , mencionei a extensão Ghouila-Houri do teorema de Dirac nos ciclos hamiltonianos , o que sugere que se então G é hamiltoniano.δ+(G),δ−(G)≥n2δ+(G),δ−(G)≥n2\delta^+(G),\delta^-(G) \geq \frac{n}{2} Em seu …

11 reference-request  graph-theory 

De acordo com o livro Topological Graph Theory, de Gross e Tucker, dada a incorporação celular de um gráfico em uma superfície (por 'superfície', quero dizer aqui uma esfera com algumas pegas, e abaixo de S n se refere à esfera com exatamente n identificadores), pode-se definir uma multigraph dupla …

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

Houve algum trabalho para recuperar a inclinação de um segmento de linha de sua digitalização? Não se pode fazer isso com perfeita precisão, é claro; o que se quer é um método de derivar de uma linha digitalizada um intervalo de possíveis inclinações. (A noção de uma linha digitalizada que …

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

Eu estaria muito interessado em referências à teoria das funções submodulares (do básico ao avançado). Em particular, estou estudando aproximações para problemas de otimização rígida e quero desenvolver minhas bases em funções submodulares, pois são relevantes para os problemas de otimização que venho estudando. Desde já, obrigado.

11 ds.algorithms  reference-request  approximation-algorithms  optimization 

Uma das conseqüências mais práticas da correspondência "Curry-Howard-Lambek" é que a sintaxe de muitas lambda-calucli / lógicas pode ser usada para executar construções em uma categoria suficientemente estruturada. Por exemplo, a Geometria Diferencial Sintética possui modelos nos topos que contêm e incorporam a categoria de coletores suaves, para que você …

11 reference-request  pl.programming-languages  type-theory  ct.category-theory  constructive-mathematics 

Eu estou querendo saber se alguém pode me dar a intuição por que a estrita positividade de tipos de dados indutivos garante forte normalização. Para ser claro, vejo como ter ocorrências negativas leva à divergência, ou seja, definindo: data X where Intro : (X->X) -> X podemos escrever uma função …

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

Estou em uma situação em que preciso mostrar que a digitação é decidível para um cálculo de tipo dependente em que estou trabalhando. Até agora, pude provar que o sistema está fortemente normalizando e, portanto, que a igualdade de definição é decidível. Em muitas referências que li, a decisão de …

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