рдкреНрд░рддреНрдпрдХреНрд╖ рдлрдЬреА рдЗрдВрдЬреЗрдХреНрд╢рди

рдкрд░рд┐рдЪрдп



1965 рдореЗрдВ, рдкрддреНрд░рд┐рдХрд╛ "рд╕реВрдЪрдирд╛ рдФрд░ рдирд┐рдпрдВрддреНрд░рдг" рдиреЗ рдПрд▓ред рдЬрд╝реЗрдбрд╣ рдХреЗ рдХрд╛рдо рдХреЛ "рдлрд╝рдЬрд╝реА рд╕реЗрдЯреНрд╕" рд╢реАрд░реНрд╖рдХ рд╕реЗ рдкреНрд░рдХрд╛рд╢рд┐рдд рдХрд┐рдпрд╛ред рдЗрд╕ рдирд╛рдо рдХрд╛ рд░реВрд╕реА рдореЗрдВ рдлрд╝рдЬрд╝реА рд╕реЗрдЯ рдХреЗ рд░реВрдк рдореЗрдВ рдЕрдиреБрд╡рд╛рдж рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ ред рдордХрд╕рдж рдРрд╕реА рдШрдЯрдирд╛рдУрдВ рдФрд░ рдЕрд╡рдзрд╛рд░рдгрд╛рдУрдВ рдХрд╛ рд╡рд░реНрдгрди рдХрд░рдиреЗ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рдереА рдЬреЛ рдЕрд╕реНрдкрд╖реНрдЯ рдФрд░ рдЧрд▓рдд рд╣реИрдВред рдкрд╣рд▓реЗ рд╕реЗ рдЬреНрдЮрд╛рдд рдЧрдгрд┐рддреАрдп рд╡рд┐рдзрд┐рдпрд╛рдВ рдЬреЛ рд╢рд╛рд╕реНрддреНрд░реАрдп рд╕реЗрдЯ рд╕рд┐рджреНрдзрд╛рдВрдд рдФрд░ рджреЛ-рдореВрд▓реНрдпрд╡рд╛рди рддрд░реНрдХ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рддреА рдереАрдВ, рдЗрд╕ рдкреНрд░рдХрд╛рд░ рдХреА рд╕рдорд╕реНрдпрд╛рдУрдВ рдХреЛ рд╣рд▓ рдХрд░рдиреЗ рдХреА рдЕрдиреБрдорддрд┐ рдирд╣реАрдВ рджреЗрддреА рдереАрдВред







рдлрд╝рдЬрд╝реА рд╕реЗрдЯреЛрдВ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ, рдХреЛрдИ рднреА рдФрдкрдЪрд╛рд░рд┐рдХ рд░реВрдк рд╕реЗ рдЧрд▓рдд рдФрд░ рдЕрд╕реНрдкрд╖реНрдЯ рдЕрд╡рдзрд╛рд░рдгрд╛рдУрдВ рдХреЛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд░ рд╕рдХрддрд╛ рд╣реИ, рдЬреИрд╕реЗ рдХрд┐ "рдЙрдЪреНрдЪ рддрд╛рдкрдорд╛рди" рдпрд╛ "рдмрдбрд╝рд╛ рддрд╛рдкрдорд╛рди"ред рдлрд╝рдЬрд╝реА рд╕реЗрдЯ рдХреА рдкрд░рд┐рднрд╛рд╖рд╛ рддреИрдпрд╛рд░ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП, рддрд░реНрдХ рдХреЗ рддрдерд╛рдХрдерд┐рдд рдХреНрд╖реЗрддреНрд░ рдХреЛ рдирд┐рд░реНрджрд┐рд╖реНрдЯ рдХрд░рдирд╛ рдЖрд╡рд╢реНрдпрдХ рд╣реИред рдЙрджрд╛рд╣рд░рдг рдХреЗ рд▓рд┐рдП, рдЬрдм рд╣рдо рдХрд┐рд╕реА рдХрд╛рд░ рдХреА рдЧрддрд┐ рдХрд╛ рдореВрд▓реНрдпрд╛рдВрдХрди рдХрд░рддреЗ рд╣реИрдВ, рддреЛ рд╣рдо рдЕрдкрдиреЗ рдЖрдк рдХреЛ рдПрдХреНрд╕ = [0, рд╡реАрдореИрдХреНрд╕] рдХреА рд╕реАрдорд╛ рддрдХ рд╕реАрдорд┐рдд рдХрд░ рджреЗрддреЗ рд╣реИрдВ, рдЬрд╣рд╛рдВ Vmax рдПрдХ рдХрд╛рд░ рдХреА рдЕрдзрд┐рдХрддрдо рдЧрддрд┐ рд╡рд┐рдХрд╕рд┐рдд рд╣реЛ рд╕рдХрддреА рд╣реИред рдпрд╣ рдпрд╛рдж рд░рдЦрдирд╛ рдЪрд╛рд╣рд┐рдП рдХрд┐ X рдПрдХ рд╕реНрдкрд╖реНрдЯ рд╕реЗрдЯ рд╣реИред



рдореВрд▓ рдЕрд╡рдзрд╛рд░рдгрд╛рдПрдБ



рдХреБрдЫ рдЧреИрд░-рд░рд┐рдХреНрдд рд╕реНрдерд╛рди X рдореЗрдВ рдПрдХ рдлрд╝рдЬрд╝реА рд╕реЗрдЯ A, рдЬреЛрдбрд╝реЗ рдХрд╛ рд╕реЗрдЯ рд╣реИ



рдЬрд╣рд╛рдБ



- рдПрдХ рдлрдЬреА рд╕реЗрдЯ рдП рдХреА рд╕рджрд╕реНрдпрддрд╛ рд╕рдорд╛рд░реЛрд╣ред рдпрд╣ рдлрд╝рдВрдХреНрд╢рди рдкреНрд░рддреНрдпреЗрдХ рддрддреНрд╡ рдПрдХреНрд╕ рдХреЛ рдлрдЬреА рд╕реЗрдЯ рдП рдореЗрдВ рдЗрд╕рдХреА рд╕рджрд╕реНрдпрддрд╛ рдХреА рдбрд┐рдЧреНрд░реА рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИред



рдкрд┐рдЫрд▓реЗ рдЙрджрд╛рд╣рд░рдг рдХреЛ рдЬрд╛рд░реА рд░рдЦрддреЗ рд╣реБрдП, рд╣рдо рддреАрди рдЧрд▓рдд рдпреЛрдЧреЛрдВ рдкрд░ рд╡рд┐рдЪрд╛рд░ рдХрд░рддреЗ рд╣реИрдВ:

- "рдХрд╛рд░ рдХреА рдХрдо рдЧрддрд┐";

- "рдФрд╕рдд рд╡рд╛рд╣рди рдЧрддрд┐";

- "рд╣рд╛рдИ рд╕реНрдкреАрдб рдХрд╛рд░ред"

рдпрд╣ рдЖрдВрдХрдбрд╝рд╛ рд╕рджрд╕реНрдпрддрд╛ рдХрд╛рд░реНрдпреЛрдВ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рддреЗ рд╣реБрдП рдЙрдкрд░реЛрдХреНрдд рдпреЛрдЧреЛрдВ рдХреЗ рдЕрдиреБрд╕рд╛рд░ рдлрдЬреА рд╕реЗрдЯ рджрд┐рдЦрд╛рддрд╛ рд╣реИред



рдПрдХ рдирд┐рд╢реНрдЪрд┐рдд рдмрд┐рдВрджреБ рдкрд░, X = 40 рдХрд┐рдореА / рдШрдВрдЯрд╛ред рдлрд╝рдЬрд╝реА рд╕реЗрдЯ "рд▓реЛ рд╕реНрдкреАрдб рдХрд╛рд░" рдХрд╛ рд╕рджрд╕реНрдпрддрд╛ рдлрд╝рдВрдХреНрд╢рди 0.5 рдХрд╛ рдорд╛рди рд▓реЗрддрд╛ рд╣реИред рдлрд╝рдЬрд╝реА рд╕реЗрдЯ рдХреА рд╕рджрд╕реНрдпрддрд╛ рдлрд╝рдВрдХреНрд╢рди "рдФрд╕рдд рд╡рд╛рд╣рди рдХреА рдЧрддрд┐" рдПрдХ рд╣реА рдорд╛рди рдорд╛рдирддреА рд╣реИ, рдЬрдмрдХрд┐ рд╕реЗрдЯ рдХреЗ рд▓рд┐рдП "рдЙрдЪреНрдЪ рд╡рд╛рд╣рди рдЧрддрд┐" рдЗрд╕ рдмрд┐рдВрджреБ рдкрд░ рдлрд╝рдВрдХреНрд╢рди рдХрд╛ рдорд╛рди 0 рд╣реИред



рджреЛ рдЪрд░ T: [0, 1] x [0, 1] -> [0, 1] рдХреЗ рдПрдХ рдлрд╝рдВрдХреНрд╢рди T рдХреЛ T- рдорд╛рдирджрдВрдб рдХрд╣рд╛ рдЬрд╛рддрд╛ рд╣реИ рдпрджрд┐:

- рджреЛрдиреЛрдВ рддрд░реНрдХреЛрдВ рдХреЗ рд╕рдВрдмрдВрдз рдореЗрдВ рдирд╣реАрдВ рдмрдврд╝ рд░рд╣рд╛ рд╣реИ: рдЯреА (рдП, рд╕реА) <рдЯреА (рдмреА, рдбреА) рдХреЗ рд▓рд┐рдП <b, рд╕реА <рдбреА;

- рдХрдореНрдпреВрдЯреЗрдЯрд┐рд╡ рд╣реИ: рдЯреА (рдП, рдмреА) = рдЯреА (рдмреА, рдП);

- рдЬреБрдбрд╝реА рд╣реБрдИ рд╕реНрдерд┐рддрд┐ рдХреЛ рд╕рдВрддреБрд╖реНрдЯ рдХрд░рддрд╛ рд╣реИ: рдЯреА (рдЯреА (рдП, рдмреА), рд╕реА) = рдЯреА (рдП, рдЯреА (рдмреА, рд╕реА));

- рд╕реАрдорд╛ рдХреА рд╕реНрдерд┐рддрд┐рдпреЛрдВ рдХреЛ рд╕рдВрддреБрд╖реНрдЯ рдХрд░рддрд╛ рд╣реИ: рдЯреА (рдП, 0) = 0, рдЯреА (рдП, 1) = рдПред



рдкреНрд░рддреНрдпрдХреНрд╖ рдлрдЬреА рдирд┐рд╖реНрдХрд░реНрд╖



рдПрдХ рдлрдЬреА рдирд┐рд╖реНрдХрд░реНрд╖ рдПрдХ рдкреНрд░рдХреНрд░рд┐рдпрд╛ рдХреЗ рд░реВрдк рдореЗрдВ рд╕рдордЭрд╛ рдЬрд╛рддрд╛ рд╣реИ рдЬрд┐рд╕рдореЗрдВ рдХреБрдЫ рдкрд░рд┐рдгрд╛рдо, рд╕рдВрднрд╡рддрдГ рдлрдЬреА рднреА рд╣реЛрддреЗ рд╣реИрдВ, рдлрдЬреА рдкрд░рд┐рд╕рд░ рд╕реЗ рдкреНрд░рд╛рдкреНрдд рд╣реЛрддреЗ рд╣реИрдВред рдЕрдиреБрдорд╛рдирд┐рдд рддрд░реНрдХ рдХрд┐рд╕реА рд╡реНрдпрдХреНрддрд┐ рдХреА рдкреНрд░рд╛рдХреГрддрд┐рдХ рднрд╛рд╖рд╛ рдХреЛ рд╕рдордЭрдиреЗ, рд▓рд┐рдЦрд╛рд╡рдЯ рдХреЛ рд╕рдордЭрдиреЗ, рдРрд╕реЗ рдЦреЗрд▓ рдЦреЗрд▓рдиреЗ рдХреА рдХреНрд╖рдорддрд╛ рдХреЛ рдХрдо рдХрд░рддрд╛ рд╣реИ, рдЬрд┐рд╕рдХреЗ рд▓рд┐рдП рдорд╛рдирд╕рд┐рдХ рдкреНрд░рдпрд╛рд╕ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╣реЛрддреА рд╣реИ, рд╕рд╛рдорд╛рдиреНрдп рд░реВрдк рд╕реЗ, рдЬрдЯрд┐рд▓ рдФрд░ рдЕрдкреВрд░реНрдг рдкрд░рд┐рднрд╛рд╖рд┐рдд рд╡рд╛рддрд╛рд╡рд░рдг рдореЗрдВ рдирд┐рд░реНрдгрдп рд▓реЗрддреЗ рд╣реИрдВред рдЧреБрдгрд╛рддреНрдордХ, рдЧрд▓рдд рд╢рдмреНрджреЛрдВ рдореЗрдВ рддрд░реНрдХ рдХрд░рдиреЗ рдХреА рдпрд╣ рдХреНрд╖рдорддрд╛ рдорд╛рдирд╡ рдмреБрджреНрдзрд┐ рдХреЛ рдХрдВрдкреНрдпреВрдЯрд░ рдХреА рдмреБрджреНрдзрд┐рдорддреНрддрд╛ рд╕реЗ рдЕрд▓рдЧ рдХрд░рддреА рд╣реИред



рдкрд╛рд░рдВрдкрд░рд┐рдХ рддрд░реНрдХ рдореЗрдВ рдЕрдиреБрдорд╛рди рдХрд╛ рдореВрд▓ рдирд┐рдпрдо, рдореЛрдбрд╕ рдкреЙрдиреНрд╕реЗрдВрд╕ рдирд┐рдпрдо рд╣реИ, рдЬрд┐рд╕рдХреЗ рдЕрдиреБрд╕рд╛рд░ рд╣рдо рдХрдерди B рдХреА рд╕рддреНрдпрддрд╛ рдХреЛ A рдФрд░ A -> B рдХреЗ рд╕рддреНрдп рд╕реЗ рдЖрдВрдХрддреЗ рд╣реИрдВ, рдЙрджрд╛рд╣рд░рдг рдХреЗ рд▓рд┐рдП, рдпрджрд┐ A рдХрд╛ рдХрдерди рд╣реИ рдХрд┐ "Stepan рдПрдХ рдЕрдВрддрд░рд┐рдХреНрд╖ рдпрд╛рддреНрд░реА рд╣реИ," B рд╡рд╣ рдХрдерди рд╣реИ "Stepan рдЕрдВрддрд░рд┐рдХреНрд╖ рдореЗрдВ рдЙрдбрд╝рддрд╛ рд╣реИ" , рддрдм рдпрджрд┐ рдХрдерди "рд╕реНрдЯреАрдлрди рдПрдХ рдЕрдВрддрд░рд┐рдХреНрд╖ рдпрд╛рддреНрд░реА рд╣реИ" рдФрд░ "рдпрджрд┐ рд╕реНрдЯреАрдлрди рдПрдХ рдЕрдВрддрд░рд┐рдХреНрд╖ рдпрд╛рддреНрд░реА рд╣реИ, рддреЛ рд╡рд╣ рдЕрдВрддрд░рд┐рдХреНрд╖ рдореЗрдВ рдЙрдбрд╝ рдЬрд╛рддрд╛ рд╣реИ," "рд╕реНрдЯреАрдлрди рдЕрдВрддрд░рд┐рдХреНрд╖ рдореЗрдВ рдЙрдбрд╝рддрд╛ рд╣реИ" рдпрд╣ рдХрдерди рд╕рддреНрдп рд╣реИред



рд╣рд╛рд▓рд╛рдВрдХрд┐, рдкрд╛рд░рдВрдкрд░рд┐рдХ рддрд░реНрдХ рдХреЗ рд╡рд┐рдкрд░реАрдд, рдлрдЬреА рд▓реЙрдЬрд┐рдХ рдХрд╛ рдореБрдЦреНрдп рдЙрдкрдХрд░рдг рдореЛрдбрд╕ рдкреЙрдиреНрд╕рди рдирд┐рдпрдо рдирд╣реАрдВ рд╣реИ, рд▓реЗрдХрд┐рди рддрдерд╛рдХрдерд┐рдд рдХрдВрдкреЛрдЬрд┐рд╢рди рдЗрдВрдЯреНрд░реЗрдВрд╕ рдирд┐рдпрдо, рдПрдХ рдмрд╣реБрдд рд╣реА рд╡рд┐рд╢реЗрд╖ рдорд╛рдорд▓рд╛ рд╣реИ рдЬреЛ рдореЙрдбрд╕ рдкреЙрдиреНрд╕рди рдирд┐рдпрдо рд╣реИред



рдорд╛рди рд▓реАрдЬрд┐рдП рдХрд┐ рдПрдХ рд╡рдХреНрд░ y = f (x) рд╣реИ рдФрд░ рдПрдХ рдорд╛рди x = a рджрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИред рдлрд┐рд░ рдЗрд╕ рддрдереНрдп рд╕реЗ рдХрд┐ y = f (x) рдФрд░ x = a, рд╣рдо рдЙрд╕ y = b = f (a) рдХрд╛ рдирд┐рд╖реНрдХрд░реНрд╖ рдирд┐рдХрд╛рд▓ рд╕рдХрддреЗ рд╣реИрдВред



рдЕрдм рд╣рдо рдЗрд╕ рдкреНрд░рдХреНрд░рд┐рдпрд╛ рдХреЛ рд╕рд╛рдорд╛рдиреНрдп рдХрд░рддреЗ рд╣реИрдВ, рдпрд╣ рдорд╛рдирддреЗ рд╣реБрдП рдХрд┐ рдПрдХ рдЕрдВрддрд░рд╛рд▓ рд╣реИ рдФрд░ рдПрдл (x) рдПрдХ рдлрд╝рдВрдХреНрд╢рди рд╣реИ рдЬрд┐рд╕рдХреЗ рдорд╛рди рдЕрдВрддрд░рд╛рд▓ рд╣реИрдВред рдЗрд╕ рд╕реНрдерд┐рддрд┐ рдореЗрдВ, рдЕрдВрддрд░рд╛рд▓ a = b рдХреЛ рдЕрдВрддрд░рд╛рд▓ a рдХреЗ рдЕрдиреБрд╕рд╛рд░ рдЦреЛрдЬрдиреЗ рдХреЗ рд▓рд┐рдП, рд╣рдо рдкрд╣рд▓реЗ рд╕реЗрдЯ рдХреЛ 'a' рдмреЗрд╕ рдХреЗ рд╕рд╛рде рдмрдирд╛рддреЗ рд╣реИрдВ рдФрд░ рдЗрд╕рдХреЗ рдЕрдВрддрд░рдВрдЧ I рдХреЛ рд╡рдХреНрд░ рдХреЗ рд╕рд╛рде рдкрд╛рддреЗ рд╣реИрдВ рдЬрд┐рдирдХреЗ рдорд╛рди рдЕрдВрддрд░рд╛рд▓ рд╣реИрдВред рддрдм рд╣рдо рдУрдП рдЕрдХреНрд╖ рдкрд░ рдЗрд╕ рдЪреМрд░рд╛рд╣реЗ рдХреЛ рдкреНрд░реЛрдЬреЗрдХреНрдЯ рдХрд░рддреЗ рд╣реИрдВ рдФрд░ рдЕрдВрддрд░рд╛рд▓ рдмреА рдХреЗ рд░реВрдк рдореЗрдВ рд╡рд╛рдИ рдХрд╛ рд╡рд╛рдВрдЫрд┐рдд рдореВрд▓реНрдп рдкреНрд░рд╛рдкреНрдд рдХрд░рддреЗ рд╣реИрдВред рдЗрд╕ рдкреНрд░рдХрд╛рд░, рдЗрд╕ рддрдереНрдп рд╕реЗ рдХрд┐ y = f (x) рдФрд░ x = A рдУрдПрдХреНрд╕ рдЕрдХреНрд╖ рдХрд╛ рдПрдХ рдлрд╝рдЬрд╝реА рд╕рдмреНрдорд┐рдЯ рд╣реИ, рд╣рдореЗрдВ рдУрдП рдЕрдХреНрд╖ рдХреЗ рдлрд╝рдЬрд╝реА рд╕рдмрд╕реЗрдЯ рдмреА рдХреЗ рд░реВрдк рдореЗрдВ y рдХрд╛ рдорд╛рди рдорд┐рд▓рддрд╛ рд╣реИред



рдпреВ рдФрд░ рд╡реА рдХреЛ рдХреНрд░рдорд╢рдГ рдмреЗрд╕ рдЪрд░ рдпреВ рдФрд░ рд╡реА рдХреЗ рд╕рд╛рде рджреЛ рд╕рд╛рд░реНрд╡рднреМрдорд┐рдХ рд╕реЗрдЯ рд╣реЛрдиреЗ рджреЗрдВред A рдФрд░ F рд╕реЗрдЯ U рдФрд░ U x V рдХреЗ рдлрд╝рд░реНрдЬрд╝реА рд╕рдмрд╕реЗрдЯ рд╣реЛрддреЗ рд╣реИрдВред рдлрд┐рд░ рдЗрдВрдлрд╝реЗрдХреНрд╢рди рдХреЗ рдХрдВрдкреЛрдЬрд╝рд┐рд╢рди рдирд┐рдпрдо рдореЗрдВ рдХрд╣рд╛ рдЧрдпрд╛ рд╣реИ рдХрд┐ рдлрд╝рдЬрд╝реА рд╕реЗрдЯ A рдФрд░ F рд╕реЗрдЯ рдХрд░рддрд╛ рд╣реИред



рдЖрдЬреНрдЮрд╛ рджреЗрдирд╛ A рдФрд░ B рдлрд╝рд░реНрдЬрд╝реА рдХрдерди рд╣реИрдВ рдФрд░ m (A), m (B) рд╕рдВрдмрдВрдзрд┐рдд рд╕рджрд╕реНрдпрддрд╛ рдХрд╛рд░реНрдп рд╣реИрдВред рддрдм рдирд┐рд╣рд┐рддрд╛рд░реНрде A -> B рдХреБрдЫ рд╕рджрд╕реНрдпрддрд╛ рдлрд╝рдВрдХреНрд╢рди m (A -> B) рдХреЗ рдЕрдиреБрд░реВрдк рд╣реЛрдЧрд╛ред рдкрд╛рд░рдВрдкрд░рд┐рдХ рддрд░реНрдХ рдХреЗ рдЕрдиреБрд░реВрдк, рд╣рдо рдпрд╣ рдорд╛рди рд╕рдХрддреЗ рд╣реИрдВ



рддреЛ



рд╣рд╛рд▓рд╛рдВрдХрд┐, рдпрд╣ рдирд┐рд╣рд┐рддрд╛рд░реНрде рдСрдкрд░реЗрдЯрд░ рдХрд╛ рдПрдХрдорд╛рддреНрд░ рд╕рд╛рдорд╛рдиреНрдпреАрдХрд░рдг рдирд╣реАрдВ рд╣реИ, рдЕрдиреНрдп рд╣реИрдВред



рдХрд╛рд░реНрдпрд╛рдиреНрд╡рдпрди



рдкреНрд░рддреНрдпрдХреНрд╖ рдлрдЬреА рдЗрдВрдЬреЗрдХреНрд╢рди рд╡рд┐рдзрд┐ рдХреЛ рд▓рд╛рдЧреВ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП, рд╣рдореЗрдВ рдирд┐рд╣рд┐рддрд╛рд░реНрде рдСрдкрд░реЗрдЯрд░ рдФрд░ рдЯреА-рдорд╛рдирджрдВрдб рдЪреБрдирдиреЗ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╣реИред

рдкреНрд░рд╛рд░рдВрднрд┐рдХ T- рдорд╛рди рдиреНрдпреВрдирддрдо рдХрд╛рд░реНрдп рд╣реИ:

  1. def t_norm (v1, v2): return min (v1, v2)



  2. def t_norm (v1, v2): return min (v1, v2)





рдФрд░ G├╢del рдлрд╝рдВрдХреНрд╢рди рдирд┐рд╣рд┐рддрд╛рд░реНрде рдСрдкрд░реЗрдЯрд░ рд╣реЛрдЧрд╛:



  1. рдбреАрдИрдПрдл рдЗрдВрдкреНрд▓рд╛рдВрдЯ (v1, рд╡реА 2):
  2. '' ' <br/> Godel рдирд┐рд╣рд┐рддрд╛рд░реНрде <br/> ' '' ''
  3. рдЕрдЧрд░ v1 <= v2:
  4. рд╡рд╛рдкрд╕реА 1 ред 0
  5. рдФрд░ :
  6. рд╡рд╛рдкрд╕реА v2


рдЗрдирдкреБрдЯ рдбреЗрдЯрд╛ рдореЗрдВ рдЬреНрдЮрд╛рди (рдЕрд╕реНрдкрд╖реНрдЯ рд╕реЗрдЯ) рдФрд░ рдирд┐рдпрдо (рдирд┐рд╣рд┐рддрд╛рд░реНрде) рд╢рд╛рдорд┐рд▓ рд╣реЛрдВрдЧреЗ, рдЙрджрд╛рд╣рд░рдг рдХреЗ рд▓рд┐рдП:

A = {(X1, 0.0), (x2, 0.2), (x3, 0.7), (x4, 1.0)}ред

B = {(X1, 0.7), (x2, 0.4), (x3, 1.0), (x4, 0.1)}ред

рдП => рдмреАред



рдирд┐рд╣рд┐рддрд╛рд░реНрде рдХрд╛рд░реНрдЯреЗрд╢рд┐рдпрди рдореИрдЯреНрд░рд┐рдХреНрд╕ рдХреЗ рд░реВрдк рдореЗрдВ рдкреНрд░рд╕реНрддреБрдд рдХрд┐рдпрд╛ рдЬрд╛рдПрдЧрд╛, рдЬрд┐рдирдореЗрдВ рд╕реЗ рдкреНрд░рддреНрдпреЗрдХ рддрддреНрд╡ рдХреА рдЧрдгрдирд╛ рдЪрдпрдирд┐рдд рдирд┐рд╣рд┐рддрд╛рд░реНрде рдСрдкрд░реЗрдЯрд░ (рдЗрд╕ рдЙрджрд╛рд╣рд░рдг рдореЗрдВ, рдЧреЛрдбреЗрд▓ рдлрд╝рдВрдХреНрд╢рди) рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ рдХреА рдЬрд╛рддреА рд╣реИ:

  1. def Comp__pl (set1, set2):
  2. '' ' <br/> рдХрдореНрдкреНрдпреВрдЯрд┐рдВрдЧ рдирд┐рд╣рд┐рддрд╛рд░реНрде <br/> ' '' ''
  3. рд╕рдВрдмрдВрдз = {}
  4. i рдореЗрдВ set1.items () рдХреЗ рд▓рд┐рдП:
  5. рд╕рдВрдмрдВрдз [i] = {}
  6. j рдореЗрдВ set2.items () рдХреЗ рд▓рд┐рдП:
  7. v1 = set1.value (i)
  8. v2 = set2.value (j)
  9. рд╕рдВрдмрдВрдз [i] [рдЬреЗ] = рдирд┐рд╣рд┐рдд (v1, рд╡реА реи)
  10. рд╕рдореНрдмрдиреНрдз рд▓реМрдЯрд╛рдУ


рдЙрдкрд░реЛрдХреНрдд рдбреЗрдЯрд╛ рдХреЗ рд▓рд┐рдП рдпрд╣ рд╣реЛрдЧрд╛:

рдирд┐рд╖реНрдХрд░реНрд╖:

рдП => рдмреАред

рдПрдХреНрд╕ 1 рдПрдХреНрд╕ 2 рдПрдХреНрд╕ 3 рдПрдХреНрд╕ 4

X1 1.0 1.0 1.0 1.0

x2 1.0 1.0 1.0 0.1

x3 1.0 0.4 1.0 0.1

x4 0.7 0.4 1.0 0.1



рдЗрд╕рдХреЗ рдЕрд▓рд╛рд╡рд╛, рдЖрдЙрдЯрдкреБрдЯ рдХреЗ рдкрд░рд┐рдгрд╛рдорд╕реНрд╡рд░реВрдк, рдПрдХ рдирдпрд╛ рд╕реЗрдЯ рдкреНрд░рд╛рдкреНрдд рд╣реЛрддрд╛ рд╣реИ:

  1. рдбреАрдИрдПрд▓ рдирд┐рд╖реНрдХрд░реНрд╖ (рд╕реЗрдЯ, рд░рд┐рд▓реЗрд╢рди):
  2. '' ' <br/> рдирд┐рд╖реНрдХрд░реНрд╖ <br/> ' ''
  3. conl_set = []
  4. рдореИрдВ рд╕рдВрдмрдВрдз рдореЗрдВ:
  5. l = []
  6. j рдХреЗ рд▓рд┐рдП рд╕рдВрдмрдВрдз рдореЗрдВ [i]:
  7. v_set = set .value (i)
  8. v_impl = рд╕рдВрдмрдВрдз [i] [j]
  9. l.append (t_norm (v_set, v_impl))
  10. рдорд╛рди = рдЕрдзрд┐рдХрддрдо (l)
  11. conl_set.append ((i, value))
  12. рд╡рд╛рдкрд╕реА conl_set


рдкрд░рд┐рдгрд╛рдо:

B '= {(X1, 1.0), (x2, 0.7), (x3, 1.0), (x4, 0.7)}ред



рд╕реВрддреНрд░реЛрдВ рдХрд╛ рдХрд╣рдирд╛ рд╣реИ






All Articles