
Atenção:
O eduCAPES é um repositório de objetos educacionais, não sendo responsável por materiais de terceiros submetidos na plataforma. O usuário assume ampla e total responsabilidade quanto à originalidade, à titularidade e ao conteúdo, citações de obras consultadas, referências e outros elementos que fazem parte do material que deseja submeter. Recomendamos que se reporte diretamente ao(s) autor(es), indicando qual parte do material foi considerada imprópria (cite página e parágrafo) e justificando sua denúncia.
Caso seja o autor original de algum material publicado indevidamente ou sem autorização, será necessário que se identifique informando nome completo, CPF e data de nascimento. Caso possua uma decisão judicial para retirada do material, solicitamos que informe o link de acesso ao documento, bem como quaisquer dados necessários ao acesso, no campo abaixo.
Todas as denúncias são sigilosas e sua identidade será preservada. Os campos nome e e-mail são de preenchimento opcional. Porém, ao deixar de informar seu e-mail, um possível retorno será inviabilizado e/ou sua denúncia poderá ser desconsiderada no caso de necessitar de informações complementares.
| Metadados | Descrição | Idioma |
|---|---|---|
| Autor(es): dc.contributor.author | ROMERO, CARLOS BARRON | - |
| Data de aceite: dc.date.accessioned | 2023-01-18T13:28:36Z | - |
| Data de disponibilização: dc.date.available | 2023-01-18T13:28:36Z | - |
| Data de envio: dc.date.issued | 2022-11-20 | - |
| Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/capes/720106 | - |
| Resumo: dc.description.abstract | Se presenta una nueva versión modificada de un algoritmo numérico y paralelo para resolver el problema de satisfacción lógica con cláusulas en forma conjuntiva normalizada. La forma de resolver el problema no usa algebra, ni estrategias de búsqueda computacionales como ramificación limitada, búsqueda adelante y atrás, representación por árboles, etc. El algoritmo se basa en la clase especial de problemas de satisfacción lógica: problema simple de satisfacción lógica. El diseño del principal algoritmo incluye ejecución paralela, orientación a objetos y terminación abrupta, como en la versión anterior, pero en esta versión se incluye guardar información de los casos fallidos resultantes de la ejecución en paralelo para mejorar la eficiencia y favorecer la terminación abrupta. El resultado es un algoritmo lineal con respecto al número de cláusulas más un proceso de datos sobre las soluciones parciales de subproblemas simples de satisfacción lógica y con límite iteraciones, donde es el número de variables lógicas. La novedad de la solución es un algoritmo lineal, cuya complejidad es menor o igual que la complejidad de los algoritmos del estado del arte. La relación con la clase NP es presentada al final. | pt_BR |
| Idioma: dc.language.iso | en | pt_BR |
| Palavras-chave: dc.subject | Computación | pt_BR |
| Título: dc.title | ALGORITMO NUMÉRICO EN PARALELO PARA EL PROBLEMA DE SATISFACCIÓN LÓGICA Y PROBLEMAS NP (Atena Editora) | pt_BR |
| Tipo de arquivo: dc.type | livro digital | pt_BR |
| Aparece nas coleções: | Livros digitais | |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: