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

A sonda Rosetta alcançou um cometa em agosto de 2014 e enviou uma sonda à superfície. Foi uma das maiores notícias científicas do ano. As técnicas automatizadas de planejamento e agendamento são realmente importantes nas operações desse tipo de missão. No último ICAPS, houve até uma palestra convidada de um …

7 reference-request  artificial-intelligence  planning 

Sou totalmente iniciante na Coq e estou tentando implementar algumas coisas da teoria das categorias como um exercício. Naveguei um pouco entre os repositórios git das muitas implementações disponíveis (HoTT, companhia de Awodey's Coq etc.), parece que todo projeto implementa algo assim Record Category : Type := mkCategory{ ob : …

7 reference-request  category-theory  coq 

Diz-se que um gráfico está conectado em se não tiver cortes de vértices (ou seja, pelo menos três vértices devem ser excluídos para desconectar o gráfico). Até onde eu sei, é possível determinar se um gráfico simples é conectado em tempo (exemplo: http://www2.tu-ilmenau.de/combinatorial-optimization/Schmidt2012b.pdf ), mas Eu consideraria útil determinar eficientemente …

7 algorithms  graph-theory  reference-request 

Fechado . Esta questão precisa ser mais focada . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela se concentre apenas em um problema editando esta postagem . Fechado há 5 anos . Quais problemas de processamento de linguagem natural são NP-Complete ou …

7 complexity-theory  reference-request  np-complete  np-hard  natural-language-processing 

Estou bastante confuso sobre a relação exata entre a expansão de um gráfico e sua condutância. Minha primeira pergunta é: Alguém poderia me indicar uma referência que discuta essas duas noções? (Encontrei várias notas de aula sobre tópicos relacionados, mas estes parecem se concentrar tanto na expansão quanto na condutância …

7 graph-theory  reference-request  combinatorics  expanders 

Eu ouvi aqui que o problema ciclo hamiltoniano é polinomial em gráficos de treewidth limitada. Estou interessado em exemplos / referências a diferentes problemas que são essencialmente difíceis, mas que possuem complexidade polinomial em gráficos de largura de árvore limitada.

7 complexity-theory  graph-theory  reference-request  np  polynomial-time 

3-PARTITION é fortemente NP-completo , isto é, permanece NP-completo mesmo se a entrada for dada como unária. Estou pesquisando dois ou três exemplos de problemas não numéricos (possivelmente bem conhecidos) que provaram ser NP-completos usando uma redução de 3-PARTITION (e a redução obviamente depende da fortemente np-completude). Gostaria das referências …

7 reference-request  np-complete 

Alguns seres humanos conseguem ler muito bem os lábios: observando alguém que está falando, eles podem dizer o que o falante está dizendo (mesmo sem ouvir o discurso). Houve algum trabalho na construção de software para leitura labial? Em outras palavras, dado um vídeo de alguém falando, é possível criar …

7 reference-request  computer-vision  pattern-recognition  facial-recognition 

Para minha tese de bacharelado, considero a classe de idiomas reconhecida pelos DFAs simétricos, ou seja, autômatos finitos determinísticos (completos) que atendem à seguinte condição: Seja um DFA completo sobre o alfabeto . Se, para cada e cada transição em , há uma transição em , chamamos uma simétrica DFA …

7 formal-languages  reference-request  regular-languages  finite-automata 

Para minha tese, criei uma abordagem de desenvolvimento (que consiste em esquemas, um modelo de aplicativo e código de protótipo) que deve facilitar o desenvolvimento e a adaptação de aplicativos para uma plataforma específica. Eu conduzi entrevistas com desenvolvedores dessa plataforma para avaliar minha abordagem. Até agora, houve cinco entrevistados …

7 reference-request  software-engineering  empirical-research 

Se me for dado um gráfico que forma uma árvore, estou interessado em encontrar um vértice que maximize a distância mínima a qualquer folha. Estou certo de que esse problema já foi estudado antes. Alguém sabe o nome deste problema ou um algoritmo para resolvê-lo?

7 algorithms  graph-theory  reference-request  trees 

Eu acho que metade da batalha em responder a essa pergunta está em formulá-la com precisão! Um mecanismo de pesquisa não aparece muito, então eu queria saber se essa é uma pergunta bem conhecida ou bem estudada. Meus pensamentos: Eu acho que a maneira mais direta de formular essa pergunta …

7 complexity-theory  reference-request  turing-machines  combinatorics 

Estive pesquisando referências no google scholar e reduzi a primeira menção para algo em torno de 1963 com um tremor muito estranho em 1949. Então, eu estou tentando rastrear o artigo original, introduzindo gráficos de intervalo para citação, mas tem sido bastante elusivo até agora.

7 graph-theory  reference-request  history 

A maioria dos exemplos clássicos de algoritmos de programação dinâmica possui tempos de execução como ou . Existem exemplos naturais com um tempo de execução ?nnnn2n2n^2O ( n logn )O(nregistro⁡n)O(n \log n)

7 algorithms  reference-request  dynamic-programming 

Como o novo semestre começa em breve, estou interessado em pesquisas sobre o ensino de cursos introdutórios de programação. Gostaria de melhorar meu curso universitário e estou procurando trabalhos científicos sobre esse assunto. Uma tendência que eu vi é que alguns estudantes (um grupo menor) estão interessados ​​em computadores ou …

7 reference-request  education