Diff for ''

Revision 37
Author:
black
Time:
2022-10-16 02:32
Revision 1
Time:
2024-06-13 22:20
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
<div style="background-color: #CEF; border: 1px solid #8AF; padding: 5px 5px 5px 5px; margin: 5px 5%;">
<small>
'''[[Státnice_-_Informatika_-_I2:_Softwarové_systémy|Státnice -- Softwarové systémy]]'''<br/>
''Složitost a vyčíslitelnost'' -- [[Státnice - Metody tvorby algoritmů_I2|Tvorba algoritmů (10🎓)]], [[Státnice - NP-úplnost_I2|NP-úplnost (15🎓)]], [[Státnice - Aproximační algoritmy a schémata_I2|Aproximační algoritmy (6🎓)]], [[Státnice - Algoritmicky vyčíslitelné funkce_I2|Vyčíslitelné funkce a rekurzivní množiny (8🎓)]], [[Státnice - Algoritmicky nerozhodnutelné problémy_I2|Nerozhodnutelné problémy (9🎓)]], [[Státnice - Věty o rekurzi_I2|Věty o rekurzi (6🎓)]]<br/>
''Datové struktury'' -- [[Státnice - Stromové vyhledávací struktury_I2|Stromy (32🎓)]], [[Státnice - Hašování_I2|Hašování (13🎓)]], [[Státnice - Třídění_I2|Třídění (10🎓)]]<br/>
''Databázové systémy'' -- '''[[Formální základy databázové technologie|Formální základy]]''': [[Formální základy databázové technologie/Relace|Relace (12🎓)]], [[Formální základy databázové technologie/Datalog|Datalog (9🎓)]], [[Formální základy databázové technologie/Ostatni|Ostatní (0🎓)]] &nbsp; '''[[Databázové modely a jazyky|Modely a jazyky]]''': [[Databázové modely a jazyky/SQL|SQL (7🎓)]], [[Databázové modely a jazyky/DIS|DIS (7🎓)]], [[Databázové modely a jazyky/Odborne|Odborné (3)]] &nbsp; '''[[Implementace databázových systémů|Implementace]]''': [[Implementace databázových systémů/Transakce|Transakce (5🎓)]], [[Implementace databázových systémů/Indexace|Indexace (10🎓)]], [[Implementace databázových systémů/Komprese|Komprese (3)]]<br/>
''Softwarové inženýrství'' -- [[Programovací jazyky a překladače|Programovací jazyky a překladače]], [[Objektově orientované a komponentové systémy|Objektově orientované a komponentové systémy]], [[Analýza a návrh softwarových systémů|Analýza a návrh softwarových systémů]]<br/>
''Systémové architektury'' -- [[Operační systémy (státnice)|Operační systémy]], [[Distribuované systémy|Distribuované systémy]], [[Architektura počítačů a sítí|Architektura počítačů a sítí]]<br/>
''Počítačová grafika'' -- [[Geometrické modelování a výpočetní geometrie|Geometrické modelování a výpočetní geometrie]], [[Analýza a zpracování obrazu, počítačové vidění a robotika|Analýza a zpracování obrazu, počítačové vidění a robotika]], [[2D počítačová grafika, komprese obrazu a videa|2D počítačová grafika, komprese obrazu a videa]], [[Realistická syntéza obrazu, virtuální realita|Realistická syntéza obrazu, virtuální realita]]<br/>
<br>
🎓 - znamená kolikrát byla otázka u státnic
</small>
</div>
# jak vyřešit tenhle příklad od Kolmana?
Line 15: Line 3:
[[Category:Státnice - Softwarové systémy]] <{ForumPost(poster="Ošklivý sup", timestamp=2006-06-28 00:01:54)}>
Nevíte někdo co s tímhle příkladem:
  
mate Kvadratickou formu:
f(x) = x^T (4 13)x
                (0 -3)
 která na R^2 nabývá pouze nezáporných hodnot.
Dokažte či vyvratte.
  
Je to priklad z pisemky 8.6.2006 u Kolaman viz jeho web. [http://kam.mff.cuni.cz/~kolman/zk.ps](http://kam.mff.cuni.cz/~kolman/zk.ps)
  
Nějak netuším, co tam dělá ta matice? Co sem pochopil, tak matice B kvadratické formy má být symetrická. Matice odpovídající bilineární formě by také měla být symetrická (???).
Ale v zápise z přednášky jsem našel nějaký divný převod bilineárních forem, které nejsou symetrické na kvadratické formy.
  
pak by to bylo 4x1 + 13x1x2 -3x2 (první a poslední jsou nadruhou).
Udtud by matice B kv. formy byla
4 13/2
13/2 -3
  
Pak stačí tedy stačí vzít vektor x = (0,1) a už to není nezáporné.
  
Tušíte někdo, jestli je tenhle postup ok?
<{/ForumPost}>

<{ForumPost(poster="melda", timestamp=2006-06-28 13:16:25)}>
A nestacilo by vzit jen obecny vektor (a,b) a podle toho predpisu xT A x vypocitat f(x) ?
  
Pak jsem dosel k tomu, ze f(x)=f(a,b)= 4a^2+17ab-3b^2
todle je mensi nebo rovno 0 kdyz a=0 a b=1 treba... takze tvrzeni neplati.
<{/ForumPost}>

<{ForumPost(poster="Ošklivý sup", timestamp=2006-06-28 14:00:03)}>
No to je asi to same, jen obecne. Ale proc tam mas 17?
No a pak mne u toho zajima prave proc ta matice neni symetricka. Tedy jestli byt musi nebo nemusi?
<{/ForumPost}>

<{ForumPost(poster="Petrik", timestamp=2006-06-28 16:22:24)}>
Matice bilineární formy zcela jistě symetrická být nemusí.
Symetrická musí být pouze matice formy kvadratické, jakožto speciálního případu bf.
<{/ForumPost}>

<{ForumPost(poster="Lukas Mach", timestamp=2006-06-29 23:02:23)}>
Nestaci se na to proste podivat, rict si, ze ta matice neni pozitivne (semi)definitni, takze ani ta kvadraticka forma neni pozitivne definitni, takze ma nejake nekladne hodnoty?
<{/ForumPost}>