Saltu al enhavo

Paradokso de inventanto

El Vikipedio, la libera enciklopedio

La paradokso de inventanto estas fenomeno kiu okazas serĉante solvon por postulita problemo. Anstataŭ solvi specifan specon de problemo, kiu ŝajnus intuicie pli facilan, estas pli facila solvi pli ĝeneralan problemon, kiu kovras la detalojn de la trovota solvo. La paradokso de inventanto priskribas fenomenojn en matematiko, programado, kaj logiko, kaj ankaŭ aliaj kampoj kiu entenas kritikan pensadon.

En la libro How to solve it, George Pólya enkondukas tion, kion li difinas kiel la paradokso de inventanto:

Citaĵo
 La pli ambicia plano eble havos pli da ŝancoj de sukceso [...] supozinte ke ĝi ne baziĝas sur nur pretendo sed sur iu vizio de la aferoj preter tiuj rekte ĉeestaj 
— George PólyaHow to solve it.[1]

Aŭ, alivorte, por solvi kion oni deziras solvi, oni eble bezonus solvi pli ol tio por atingi ĝuste efikan fluon de informo.[2]

Kiam oni solvas problemon, la natura inklino kutime estas forigi tiel multe da malmodera variemo kiel ebla kaj igi limojn je la nuna subjekto. Tio povas krei neantaŭviditajn kaj esence maloportunajn parametrojn.[3] La celo estas trovi elegantajn kaj relative simplajn solvojn por pli larĝaj problemoj, enkalkulante la kapablon fokusi pri la specifa parto pri kiu origine temis.[4]

Jen la paradokso de inventanto, ke estas ofte ege pli facile trovi ĝeneralan solvon ol pli specifan, ĉar la ĝenerala solvo eble nature havus pli simplan algoritmon kaj pli sanan desegnon, kaj kutime okupus malpli da tempo por solvi ol specifa problemo.[3]

Ekzemploj

[redakti | redakti fonton]

Matematiko

[redakti | redakti fonton]

La sumo de nombroj sinsekve de 1-99:

Tiu procezo, kvankam ne neebla fari kape, troviĝus malfacila al plej da homoj. Tamen, la kapablo ĝeneraligi la problemon ekzistas, ĉi-okaze per reordigo de la vico al:

Ĉi-forme, la ekzemplon povas solvi plej da homoj sen la uzo de kalkulilo.[3] Se oni remarkus ke la plej malaltaj kaj plej altaj nombroj (1 + 99) sumas al 100, kaj ke la sekvanta paro da plej malaltaj kaj plej altaj nombroj (2 + 98) ankaŭ sumas al 100, ili ankaŭ komprenus ke ĉiuj 49 nombroj estas kongruaj paroj de kiu ĉiu sumas al 100, krom la unuopa nombro en la mezo, 50. La inventema matematikisto reformulus la problemon mense kiel (49 * 100) + 50. Ĉar 49 * 100 estas facila kalkuli per aldonado de 2 nuloj al la ciferaj pozicioj de 49, ili pensos: 4900 + 50. Tio estas facila aldoni, ĉar la plej granda orda metado de la plej signifa cifero de 50 (cifero 5 en la 2-a pozicio "deka" pozicio). Do la solvanto simple anstataŭigas la lastaj du 0-oj en 4900 per 50 por aldoni ilin kune, rezultigante la respondon 4950. Kvankam la teksta priskribo de ĉi tiu procezo ŝajnas malfacila, ĉiu el la paŝoj faritaj mense estas simpla kaj rapida.

Kvankam ĝi aperas en kelkaj aplikoj, estas plej facile ekspliki per inspekto de relative simpla matematika vico.[5]

kaj plu laŭ la vico:

Permesinte ke la vico ekspansiu ĝis punkto kie la sumo ne plu estas rapide trovebla, ni simpligas ĝin per trovo ke la sumo de sinsekvantaj malparaj nombroj sekvas:[2]

Programado

[redakti | redakti fonton]

Kiel ekzemplo aplikante la saman logikon, kelkfoje estas pli malfacile solvi 25-kazan problemon ol solvi n-kazan problemon, kaj tiam apliki ĝin al la kazo kie n=25.[6]

Ĉi tiu paradokso havas aplikoj al skribado de rendimentaj programoj. Estas intuicie skribi programojn kiu estas specialigita, sed praktike ofte estas pli facile evolui pli ĝeneraligitajn procedojn.[7] Laŭ Bruce Tate, kelkaj el la plej sukcesaj kadroj estas simplaj ĝeneraligoj de malsimplaj problemoj, kaj li diras ke Visual Basic, interreto, kaj retserviloj Apache kromaĵoj estas primaraj ekzemploj de tiel praktiko.[4] En la esplorado de la semantiko de la lingvo, multe da logikistoj trovis sin alfronti ĉi tiun paradokson. Ekzemplo de apliko vidiĝas en la imanenta zorgo de logikistoj kun la kondiĉoj de vero ene de frazo, kaj ne, fakte, kun la kondiĉoj sub kiuj frazo povas esti vere asertita.[2] Krome, la paradokso estas montrita havi aplikoj industrie.[3]

Referencoj

[redakti | redakti fonton]
  1. Pólya, p. 121.
  2. 2,0 2,1 2,2 Barwise p. 41.
  3. 3,0 3,1 3,2 3,3 Tate, et al., p. 110
  4. 4,0 4,1 Tate, et al., p. 111.
  5. Barwise p. 40.
  6. Bentley (2000), p. 29.
  7. Bentley (1982), p. 79.

Literaturo

[redakti | redakti fonton]

Vidu ankaŭ

[redakti | redakti fonton]