Gnóthachain:
- Cumas hintleachta saorga a úsáid i réiteach fadhbanna i dtrí ról éagsúla mar chomhairleoir straitéise, léiritheoir réitigh agus iniúchóir réitigh, atá oiriúnach do leibhéal riosca gach ceann acu.
- Cumas gach céim de réiteach a sheiceáil go córasach trí uimhriú, trí cheistiú rialacha, trí sheiceáil uimhríochta, trí shuimeanna seiceála agus trí gach cás a liostú.
- A bheith in ann an toradh agus an réiteach araon a fhíorú le modhanna neamhspleácha, a thuiscint nach gciallaíonn an toradh ceart an cosán ceart.
Is é an réiteach ar fhadhb matamaitice slabhra de chéimeanna idirnasctha; Má bhristear aon nasc sa slabhra, tá an toradh neamhbhailí. Tá AI an-mhaith ag tógáil an slabhra seo go tapa - ach tá sé de dhualgas ar dhaoine monatóireacht a dhéanamh ar neart an slabhra. San aonad seo, foghlaimeoidh tú conas AI a úsáid mar chomhpháirtí fadhbréitigh agus, níos tábhachtaí fós, conas gach céim a tháirgtear a rialú go córasach. Is é an sprioc leas a bhaint as luas AI agus gan aon bhotúin a iarraidh.
Ar dtús, sainmhíniú: Is éard atá i bhfíorú céim ar chéim ná seiceáil an bhfuil gach céim idirmheánach de thuaslagán ceart ceann ar cheann. Sa mhatamaitic, "An bhfuil an toradh ceart?" Ní leor an cheist; msgstr "An bhfuil gach céim idirmheánach ceart?" Tá an cheist riachtanach. Toisc uaireanta go n-eascraíonn céimeanna míchearta trí sheans go dtí an toradh ceart (réiteach éagobhsaí), uaireanta milleann earráid uimhríochta amháin i straitéis cheart an toradh.
Trí ról éagsúla atá ag AI i réiteach fadhbanna
Is féidir leat AI a úsáid i réiteach fadhbanna ar thrí bhealach éagsúla, agus tá bailíochtú difriúil ag teastáil ó gach ceann díobh:
- Comhairleoir straitéise: "Conas is féidir liom an fhadhb seo a réiteach?" Anseo, molann AI modh. Tá an riosca íseal mar is tú féin a dhéanann na ríomhanna.
- Gineadóir réitigh: "Réitigh an fhadhb seo." Tá an riosca ard mar go dtagann an straitéis agus an ríomh araon ó AI; Ní mór maoirseacht a dhéanamh ar gach céim.
- Seiceálaí réitigh: "Seiceáil mo réiteach." Is riosca meánach é; Is féidir le AI fabhtanna a aimsiú, ach is féidir leis fabhtanna a dhéanamh freisin nach bhfuil ann nó a chailleann an fíorfhabht.
Is é an cur chuige is sábháilte de ghnáth ná 1 agus 3 a chur le chéile: faigh an straitéis ón AI, déan an ríomh tú féin nó le SymPy, ansin déan an seiceáil AI agus an cros-seiceáil.
Céim ar chéim: conas réiteach a sheiceáil
1. Líon gach céim. Má chuirtear ceist ar an AI don réiteach i gcéimeanna uimhrithe is féidir leat a rá ansin, "Tá earráid i gcéim 3."
2. Ag gach céim "cén riail?" a dhuine uasail. Iarr ar an AI a scríobh síos cén riail, teoirim, nó céannacht ailgéabrach a úsáidtear i ngach pas. Má tá ainm na rialach mícheart, tá an chéim amhrasach freisin.
3. Seiceáil an uimhríochtúil ar leithligh. Fiú má tá an loighic ailgéabrach ceart, tá earráidí uimhris coitianta. Déan athbhreithniú ar gach suimiú, iolrú, agus athrú comhartha.
4. Bain triail as teorainneacha agus eisceachtaí. Déan an toradh a thástáil ag luachanna simplí amhail x=0, x=1. Má tá an fhoirmle nonsensical ag na luachanna seo, tá earráid.
5. Téigh siar ar chúl. Seiceáil toradh an díorthaigh trí fhréamh an chothromóid a chomhtháthú, a chur in ionad, an fachtóiriú a iolrú ar ais.
6. Cuardaigh comhsheasmhacht méid/aonad. Mura n-suimíonn na haonaid i bhfadhbanna feidhmeacha (m.sh. méadair agus soicind a shuimiú), tá an fhoirmle mícheart.
Leid: Is é "Fíorú trí oibríocht droim ar ais" an uirlis fíoraithe is cumhachtaí sa mhatamaitic agus tá sé beagnach saor in aisce. Má fuair tú fréamh na cothromóide, cuir ina ionad; Má ghlac tú cuid dhílis, tóg a díorthach; Má rinne tú fachtóiriú, iolrú ar ais. Coscann an seiceáil 30 soicind seo uaireanta treo mícheart.
Tagann cumhacht an tsoláthair óna neamhspleáchas ó AI. Nuair a chuireann tú fréamh in ionad, déanann tú seiceáil cinntitheach atá go hiomlán neamhspleách ar an méid a dhéanann an AI sa phróiseas réitigh: bíodh an chothromóid sásta nó nach bhfuil sé, níl aon idir eatarthu. Sin an fáth go bhfuil fíorú i bhfad níos luachmhaire ná an AI ag rá "cinnte, ceart"; toisc go bhféadfadh an AI an botún céanna a dhéanamh arís agus é ag bailíochtú a réiteach féin, ach tá fíorú neamhspleách lasmuigh den lúb seo. Nuair is féidir leat toradh criticiúil a sheachadadh ar dhá bhealach neamhspleácha éagsúla (m.sh. ionadaíocht agus SymPy araon), méadaíonn do mhuinín as cuimse.
Aicmiú earráidí
Tugann an tábla thíos achoimre ar na cineálacha earráidí is coitianta a fheiceann tú i réitigh AI agus an bealach chun gach ceann díobh a ghabháil.
Cineál earráide
shampla
cosán gabhála
earráid chomhartha
Ag scríobh −(a−b) = −a−b
M'ainm a oscailt agus a sheiceáil de láimh
earráid uimhríochtúil
7×8 = 54
Deimhniú le háireamhán/SymPy
riail mícheart
déan dearmad ar an riail slabhra
"Cén riail?" a fhiafraí
Earráid réimse/sainmhínithe
faigh logáil (diúltach)
Ag seiceáil an fhearainn
Léim stádas
Neamhaird a thabhairt ar idirdhealaitheach < 0
Liostaigh gach stádas
Teoirim déanta suas
ainm teoirim nach bhfuil ann
Deimhniú ón bhfoinse
trí chás mion
Cás 1 - Toradh ceart, cosán mícheart. Chuir mac léinn ceist teorann ar an AI. Chinn an AI gurbh é 3 an toradh — rud a bhí ceart — ach sa chéim idirmheánach d’úsáid sé riail L’Hôpital nuair nach bhféadfaí é a chur i bhfeidhm (gan éiginnteacht 0/0). Fiafraíonn an mac léinn "cén riail a bhaineann agus cén fáth?" Nuair a iarradh air, ghlac an AI leis an botún agus shroich sé 3 arís ar an mbealach ceart. Bhí an toradh mar an gcéanna, ach ní raibh an cosán soladach; Scóráladh an turas sa scrúdú freisin.
Cás 2 — An cás a fágadh ar lár. Innealtóir, |2x − 4| = Réitíodh 6 chothromóid luacha absalóideach ag YZ. Níor réitigh YZ ach 2x − 4 = 6 agus thug sé x = 5; Shroich sé an staid 2x − 4 = −6 (x = −1). Iarrann an t-innealtóir "cé mhéad stát atá i luach iomlán?" Nuair a d'iarr mé, bhí an dara fréamh le feiceáil. Deimhníodh cruinneas an dá fhréamh trí ionadú.
Cás 3 – Cros-seiceáil aimsithe 3 earráid. Bhí ar mhúinteoir go ndearna an AI cruthúnas céannachta triantánachta 10 gcéim. Ansin chuir sé an cruthúnas céanna i gcomparáid céim ar chéim le feidhm shimplithe SymPy. Chinn sé gur chuir an AI céannacht i bhfeidhm go mícheart i 3 as 10 gcéim. Am seiceála iomlán 12 nóiméad; Tá an t-iontaobhas a fuarthas luachmhar.
Ceithre theimpléad inchóipeála
1) Réiteach uimhrithe, riailbhunaithe:
Réitigh an fhadhb seo: [problem]. Scríobh an réiteach ina chéimeanna UIMHREACH. I ngach céim, luaigh ainm na rialach/teoirime a d’úsáid tú i lúibíní. Ná skip aon chéim ag rá "ar ndóigh"; taispeáin gach trasdul.
2) Ná cuir iallach ar gach stát:
Réitigh an fhadhb seo: [problem]. Liostaigh GACH cás FÉIDEARTHA agus tú ag réiteach (m.sh. luach absalóideach, srianta cearnacha, fearainn). Ná skip aon chás; Má scipeann tú é, cuir in iúl cén fáth a ndearna tú é.
3) Soláthar a iarraidh:
Fuair tú: [toradh]. Anois DÉANAIGH an toradh seo leis an oibríocht inbhéartach:[difriúil / ionadaigh / iolraigh siar]. Taispeáin toradh an tseiceála agus inis an bhfuil sé ag teacht leis an bhfadhb bhunaidh.
4) Rialú atá dírithe ar earráid:
Just a chuardach le haghaidh earráidí sa réiteach thíos. Seiceáil gach céim in ord; nuair a aimsíonn tú an chéad earráid, scríobh síos cén chéim, cén cineál earráide (comhartha/uimhríocht/riail) agus cad í an earráid cheart. Réiteach nua á chruthú.Solution: [anseo]
Leid lag / Pras láidir
Lag: "Réitigh x² − 5x + 6 = 0."
Toradh: "x = 2 agus x = 3" - féadfaidh sé a bheith fíor, ach ní thabharfaidh tú faoi deara má chailltear an cás corr nó má tá an fachtóiriú mícheart.
Láidir: "Réitigh an chothromóid x² − 5x + 6 = 0 tríd an bhfachtóireacht agus an fhoirmle idirdhealaitheach araon; taispeáin go dtugann an dá mhodh na fréamhacha céanna. Ansin cuir gach fréamh ar fáil trí í a ionadú sa chothromóid."
Toradh: Fíoraíonn dhá mhodh neamhspleácha a chéile, ag cinntiú go bhfuil an toradh cruinn. Má tá earráid ann, rachaidh an dá mhodh i gcoimhlint agus feicfidh tú láithreach é.
Botúin choitianta
- Díreach ag féachaint ar an toradh. Ní chiallaíonn an toradh ceart cosán soladach. Chomh maith leis sin seiceáil an bóthar.
- Gan bacadh le soláthar. Gabhtar formhór na n-earráidí le seiceáil 30 soicind maidir le hionadú/díorthach cúil; Ná faillí é.
- Gan cásanna a liostú. Is iad easnaimh i srianta luacha absalóideacha, cearnacha, fréimhe agus fearainn na hearráidí is coitianta.
- Ag muinín an AI a rá "gan aon fhabht". Féadfaidh AI i ról an iniúchóra an fíor-earráid a chailleann; Tá an tsúil dhaonna riachtanach in obair chriticiúil.
- Bheith sásta le modh amháin. Más féidir, réitigh agus cuir i gcomparáid le dhá mhodh neamhspleácha.
Aire: Nuair a bhíonn an AI ag seiceáil do réiteach, d'fhéadfadh sé uaireanta "fabht" nach bhfuil ann agus tú a dhíspreagadh ó do réiteach ceart. Mar sin nuair a thaispeánann an AI earráid, déanann tú seiceáil freisin an bhfuil an earráid sin ina earráid i ndáiríre. Is féidir leis an iniúchóir a bheith mícheart freisin.
Go hachomair
I réiteach fadhbanna, imríonn AI trí ról: comhairleoir straitéise, gineadóir réitigh, iniúchóir réitigh. Is é an cur chuige is sábháilte ná an straitéis a thógáil ó AI, na ríomhanna a dhéanamh le huirlisí neamhspleácha, agus iniúchadh córasach a dhéanamh ar gach céim. Céimeanna uimhrithe, "cén riail?" Is iad ceist, seic (oibríocht inbhéartach), cásanna teorann, agus liostú na gcásanna go léir na bunuirlisí chun earráidí a ghabháil. Ní chiallaíonn an toradh ceart cosán soladach; Seiceáil an toradh agus an cosán araon.
Tasc feidhmchláir
Roghnaigh cothromóid chearnach nó cothromóid luach absalóideach. Réitigh YZ le teimpléid 1 agus 2. Ansin: (a) seiceáil go bhfuil gach cás clúdaithe, (b) cinntigh gach fréamh trí ionadú a dhéanamh, (c) réitigh agus cuir i gcomparáid arís leis an dara modh, más féidir. Má aimsíonn tú earráid, tabhair faoi deara cén cineál é (comhartha/uimhríocht/riail/coinníoll scipeála).
seicliosta
- [ ] Ghlac mé an réiteach i gcéimeanna uimhrithe.
- [ ] Dheimhnigh mé an riail a úsáideadh i ngach céim.
- [ ] Tá sé fíoraithe agam gur tugadh aghaidh ar na teagmhais uile.
- [ ] Sheiceáil mé an toradh trí oibríocht inbhéartach (seiceáil).
- [ ] Más féidir, chuir mé i gcomparáid é leis an dara modh.
- [ ] Dheimhnigh mé go neamhspleách na "earráidí" a léirigh an AI freisin.