{"id":27670,"date":"2018-03-09T09:20:02","date_gmt":"2018-03-09T09:20:02","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/complexity-mesures-for-resolution\/"},"modified":"2018-03-09T09:20:02","modified_gmt":"2018-03-09T09:20:02","slug":"complexity-mesures-for-resolution","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/politecnica-de-catalunya\/complexity-mesures-for-resolution\/","title":{"rendered":"Complexity mesures for resolution"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Juan  Luis Esteban Angeles <\/strong><\/h2>\n<p>El cap\u00edtulo 1 presenta la mayor\u00eda de los conceptos que se usar\u00e1n m\u00e1s adelante. Comenzamos explicando el origen de la complejidad de la demostraci\u00f3n. Luego definimos los sistemas de demostraci\u00f3n y medidas de complejidad consideradas en esta obra. Tambi\u00e9n rese\u00f1amos resultados de complejidad de la demostraci\u00f3n y listamos nuestros propios resultados.     el cap\u00edtulo 2 trata de resultados acerca de tama\u00f1o para resoluci\u00f3n, r(k), y planos secantes, que incluyen cotas de espacio inferiores y superiores que cuando est\u00e1n relacionadas proporcionan separaciones entre diferentes sistemas de demostraci\u00f3n o entre las versiones en \u00e1rbol y general de un mismo sistema de demostraci\u00f3n.     el cap\u00edtulo 4 es corto y en \u00e9l recapitulamos nuestros resultados y sugerimos problemas relacionados con nuestro trabajo que consideramos interesantes. Tambi\u00e9n aparece una tabla de cotas inferiores y superiores de tama\u00f1o y espacio incluyendo nuestros resultados. Esta tabla facilita ver cu\u00e1les han sido nuestras contribuciones a la complejidad de la demostraci\u00f3n.     los resultados aparecieron en [begj]. En esta secci\u00f3n mejoramos la separaci\u00f3n entre las versiones en \u00e1rbol y generales de resoluci\u00f3n y planos secantes. Para hacerlo, extendemos una cota inferior de tama\u00f1os para circuitos booleanos mon\u00f3tonos de ran y mckenzie a circuitos reales mon\u00f3tonos. Este tipo de separaciones resulta interesante puesto que muchos demostradores autom\u00e1ticos de teoremas se basan en la versi\u00f3n en \u00e1rbol de sistemas de demostraci\u00f3n, as\u00ed la separaci\u00f3n muestra que no siempre es una buena idea restringirse a la versi\u00f3n en \u00e1rbol. Lo que hacemos es demostrar cotas inferiores exponenciales para planos secantes en \u00e1rbol para ciertas f\u00f3rmulas usando la propiedad de la interpolaci\u00f3n mon\u00f3tona factible, que son a su vez cotas inferiores para la resoluci\u00f3n en \u00e1rbol. Para obtener la separaci\u00f3n mostramos cotas superiores polin\u00f3micas en resoluci\u00f3n para las mismas f\u00f3rmulas, que son a su v<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Complexity mesures for resolution<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Complexity mesures for resolution <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Juan  Luis Esteban Angeles <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de catalunya<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 15\/12\/2003<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Direcci\u00f3n y tribunal<\/h3>\n<ul>\n<li><strong>Director de la tesis<\/strong>\n<ul>\n<li> Bonet Carbonell M. Luisa<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Jos\u00e9 Luis Balcazar navarro <\/li>\n<li>eli Ben-sasson (vocal)<\/li>\n<li>uwe Sch\u00ed\u00b6ning (vocal)<\/li>\n<li>victor Dalmau (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Juan Luis Esteban Angeles El cap\u00edtulo 1 presenta la mayor\u00eda de los conceptos que se usar\u00e1n m\u00e1s [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[15596],"tags":[79302,79293,15865,79291,79303,79304],"class_list":["post-27670","post","type-post","status-publish","format-standard","hentry","category-politecnica-de-catalunya","tag-bonet-carbonell-m-luisa","tag-eli-ben-sasson","tag-jose-luis-balcazar-navarro","tag-juan-luis-esteban-angeles","tag-uwe-schining","tag-victor-dalmau"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/27670","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=27670"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/27670\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=27670"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=27670"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=27670"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}