%0 Journal Article %1 springerlink:10.1007/s10472-010-9195-9 %A Hernando, Antonio %D 2009 %I Springer Netherlands %J Annals of Mathematics and Artificial Intelligence %K interessant Beweise Unm{\"o}glichkeit %P 205-231 %R 10.1007/s10472-010-9195-9 %T New methods for proving the impossibility to solve problems through reduction of problem spaces %U http://dx.doi.org/10.1007/s10472-010-9195-9 %V 57 %X Problem solvers are computational systems which make use of different search algorithms for solving problems. Sometimes, while employing such search algorithms, problem solvers may prove to be inefficient and take too great an effort so as to showing that the problem has no solution. For such cases, in this paper we explain a technique which provides a quick proof that finding a solution is actually impossible. This technique results in reducing the number and simplifying the topology of the states which shape a problem space. Hence, we show and prove efficient new techniques intended to find such reductions which may result to be very useful for many problems. %Z 10.1007/s10472-010-9195-9

@article{springerlink:10.1007/s10472-010-9195-9, abstract = {Problem solvers are computational systems which make use of different search algorithms for solving problems. Sometimes, while employing such search algorithms, problem solvers may prove to be inefficient and take too great an effort so as to showing that the problem has no solution. For such cases, in this paper we explain a technique which provides a quick proof that finding a solution is actually impossible. This technique results in reducing the number and simplifying the topology of the states which shape a problem space. Hence, we show and prove efficient new techniques intended to find such reductions which may result to be very useful for many problems.}, added-at = {2013-02-02T14:41:57.000+0100}, affiliation = {Universidad Polit{\'e}cnica de Madrid Departamento de Sistemas Inteligentes Aplicados, Escuela Universitaria de Inform{\'a}tica Madrid Spain}, annote = {10.1007/s10472-010-9195-9}, author = {Hernando, Antonio}, bdsk-file-1 = {YnBsaXN0MDDUAQIDBAUGCQpYJHZlcnNpb25UJHRvcFkkYXJjaGl2ZXJYJG9iamVjdHMSAAGGoNEHCFRyb290gAFfEA9OU0tleWVkQXJjaGl2ZXKoCwwXGBkdJCVVJG51bGzTDQ4PEBEUViRjbGFzc1dOUy5rZXlzWk5TLm9iamVjdHOAB6ISE4ACgAOiFRaABIAGWWFsaWFzRGF0YVxyZWxhdGl2ZVBhdGjSDRobHFdOUy5kYXRhgAVPEQJKAAAAAAJKAAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAADCWLRVSCsAAAHjAs0fTmV3IG1ldGhvZHMgZm9yIHBybyMxNkMyOEI4LnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAWwouMhaL1wAAAAAAAAAAAABAAQAAAkgAAAAAAAAAAAAAAAAAAAACEhlcm5hbmRvABAACAAAwliYNQAAABEACAAAyFoTPAAAAAEAFAHjAs0AIBUvAAfz5wAH89oAAHBCAAIAVU1hY2ludG9zaCBIRDpVc2VyczpzY2hsZW1tZTpEb2N1bWVudHM6UGFwZXJzOkhlcm5hbmRvOk5ldyBtZXRob2RzIGZvciBwcm8jMTZDMjhCOC5wZGYAAA4AgAA/AE4AZQB3ACAAbQBlAHQAaABvAGQAcwAgAGYAbwByACAAcAByAG8AdgBpAG4AZwAgAHQAaABlACAAaQBtAHAAbwBzAHMAaQBiAGkAbABpAHQAeQAgAHQAbwAgAHMAbwBsAHYAZQAgAHAAcgBvAGIAbABlAG0AcwAuAHAAZABmAA8AGgAMAE0AYQBjAGkAbgB0AG8AcwBoACAASABEABIAaFVzZXJzL3NjaGxlbW1lL0RvY3VtZW50cy9QYXBlcnMvSGVybmFuZG8vTmV3IG1ldGhvZHMgZm9yIHByb3ZpbmcgdGhlIGltcG9zc2liaWxpdHkgdG8gc29sdmUgcHJvYmxlbXMucGRmABMAAS8AABUAAgAP//8AANIeHyAhWCRjbGFzc2VzWiRjbGFzc25hbWWjISIjXU5TTXV0YWJsZURhdGFWTlNEYXRhWE5TT2JqZWN0XxBPUGFwZXJzL0hlcm5hbmRvL05ldyBtZXRob2RzIGZvciBwcm92aW5nIHRoZSBpbXBvc3NpYmlsaXR5IHRvIHNvbHZlIHByb2JsZW1zLnBkZtIeHyYnoicjXE5TRGljdGlvbmFyeQAIABEAGgAfACkAMgA3ADoAPwBBAFMAXABiAGkAcAB4AIMAhQCIAIoAjACPAJEAkwCdAKoArwC3ALkDBwMMAxUDIAMkAzIDOQNCA5QDmQOcAAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAAA6k=}, bdsk-url-1 = {http://dx.doi.org/10.1007/s10472-010-9195-9}, biburl = {https://www.bibsonomy.org/bibtex/287116190583766ac57fcffbf37f7a545/ks-plugin-devel}, date-added = {2011-04-26 10:33:22 +0200}, date-modified = {2011-04-26 10:34:28 +0200}, doi = {10.1007/s10472-010-9195-9}, file = {:Hernando/New methods for proving the impossibility to solve problems.pdf:PDF}, groups = {public}, interhash = {5dce6b9bac64fb4c6d60c74f15044fcd}, intrahash = {87116190583766ac57fcffbf37f7a545}, issn = {1012-2443}, issue = {3}, journal = {Annals of Mathematics and Artificial Intelligence}, keyword = {Computer Science}, keywords = {interessant Beweise Unm{\"o}glichkeit}, pages = {205-231}, publisher = {Springer Netherlands}, timestamp = {2013-02-02T14:41:57.000+0100}, title = {New methods for proving the impossibility to solve problems through reduction of problem spaces}, url = {http://dx.doi.org/10.1007/s10472-010-9195-9}, username = {keinstein}, volume = 57, year = 2009 }