Studium, Ausbildung und Beruf
 StudiumHome   FAQFAQ   RegelnRegeln   SuchenSuchen    RegistrierenRegistrieren   LoginLogin

SAT extended
Neues Thema eröffnen   Neue Antwort erstellen
Foren-Übersicht -> Mathe-Forum -> SAT extended
 
Autor Nachricht
marcelj
Newbie
Benutzer-Profile anzeigen
Newbie


Anmeldungsdatum: 22.05.2007
Beiträge: 3

BeitragVerfasst am: 22 Mai 2007 - 21:49:12    Titel: SAT extended

Hallo,

angenommen ich habe eine Gleichung mit beliebig vielen Variablen, in der aber nur die Grundrechenarten verwendet werden, also z.B. keine Potenzen mit variablen Exponenten. Die einzige Bedingung: Die Variablen dürfen nur Ganzzahlen aus einem vorgegebenen Intervall sein.

Mit welchem Algorithmus findet man am schnellsten eine beliebige Belegung der Variablen, die die Gleichung erfüllt?

Gibt es überhaupt ernsthaften Optimierungsansätze der Brute-Force Methode?

MfG marcelj
BBFan18
Senior Member
Benutzer-Profile anzeigen
Senior Member


Anmeldungsdatum: 24.10.2005
Beiträge: 1791
Wohnort: Hilden

BeitragVerfasst am: 22 Mai 2007 - 22:10:26    Titel:

du willst also LGS lösen und interessiert dich nur für ganzzahlige lösungen? kennst du dich mit gittertheorie aus?
marcelj
Newbie
Benutzer-Profile anzeigen
Newbie


Anmeldungsdatum: 22.05.2007
Beiträge: 3

BeitragVerfasst am: 22 Mai 2007 - 22:19:58    Titel:

Damit kenne ich mich leider nicht aus, aber das kann sich ja schnell ändern.

Lässt sich dadurch etwa eine Lösung in polynominaler Zeit finden?
Beiträge der letzten Zeit anzeigen:   
Foren-Übersicht -> Mathe-Forum -> SAT extended
Neues Thema eröffnen   Neue Antwort erstellen Alle Zeiten sind GMT + 1 Stunde
Seite 1 von 1

 
Gehe zu:  
Du kannst keine Beiträge in dieses Forum schreiben.
Du kannst auf Beiträge in diesem Forum nicht antworten.
Du kannst deine Beiträge in diesem Forum nicht bearbeiten.
Du kannst deine Beiträge in diesem Forum nicht löschen.
Du kannst an Umfragen in diesem Forum nicht mitmachen.

Chat :: Nachrichten:: Lexikon :: Bücher :: Impressum