Detalii evaluare #47936830

Rezumat problemă

#4439 LimbajFormal C++

RAU-Gigel se pregătește pentru admiterea la facultate. Curios din fire, el împrumută niște cursuri de la un prieten student, de unde află despre limbajele formale, gramatici, automate finite, expresii regulate și multe alte lucruri interesante. Găsește acolo și o problemă:

Se consideră un alfabet X format din N simboluri (diferite două câte două). Pe mulțimea X este definită o relație de ordine totală (să o numim lexicografică) astfel: orice două elemente a și b alegem din X (a diferit de b), avem fie a<b, fie b<a. Câte cuvinte se pot forma cu simboluri din alfabetul X astfel încât simbolurile prezente în cuvânt să fie în ordine strict crescătoare (de la stânga spre dreapta) și să nu existe în cuvânt două simboluri consecutive lexicografic?

Detalii

Problema LimbajFormal Operații I/O limbajformal.in/limbajformal.out
Limita timp 0.1 secunde Limita memorie Total: 64 MB / Stivă 8 MB
Id soluție #47936830 Utilizator Andrei lazu (andreietare1)
Fișier limbajformal.cpp Dimensiune 1.84 KB
Data încărcării 10 Ianuarie 2024, 17:23 Scor / rezultat Eroare de compilare

Evaluare


Mesaj compilare

In file included from /usr/include/c++/4.8/fstream:936:0,
                 from limbajformal.cpp:9:
/usr/include/c++/4.8/fstream: In instantiation of 'class std::basic_filebuf<char>':
/usr/include/c++/4.8/bits/fstream.tcc:966:25:   required from here
/usr/include/c++/4.8/bits/fstream.tcc:892:5: error: conflicting return type specified for 'long long int std::basic_filebuf<_CharT, _Traits>::sync() [with _CharT = char; _Traits = std::char_traits<char>]'
     basic_filebuf<_CharT, _Traits>::
     ^
In file included from /usr/include/c++/4.8/ios:43:0,
                 from /usr/include/c++/4.8/ostream:38,
                 from /usr/include/c++/4.8/iostream:39,
                 from limbajformal.cpp:1:
/usr/include/c++/4.8/streambuf:627:7: error:   overriding 'int std::basic_streambuf<_CharT, _Traits>::sync() [with _CharT = char; _Traits = std::char_traits<char>]'
       sync() { return 0; }
       ^
In file included from /usr/include/c++/4.8/fstream:936:0,
                 from limbajformal.cpp:9:
/usr/include/c++/4.8/fstream: In instantiation of 'class std::basic_filebuf<wchar_t>':
/usr/include/c++/4.8/bits/fstream.tcc:972:25:   required from here
/usr/include/c++/4.8/bits/fstream.tcc:892:5: error: conflicting return type specified for 'long long int std::basic_filebuf<_CharT, _Traits>::sync() [with _CharT = wchar_t; _Traits = std::char_traits<wchar_t>]'
     basic_filebuf<_CharT, _Traits>::
     ^
In file included from /usr/include/c++/4.8/ios:43:0,
                 from /usr/include/c++/4.8/ostream:38,
                 from /usr/include/c++/4.8/iostream:39,
                 from limbajformal.cpp:1:
/usr/include/c++/4.8/streambuf:627:7: error:   overriding 'int std::basic_streambuf<_CharT, _Traits>::sync() [with _CharT = wchar_t; _Traits = std::char_traits<wchar_t>]'
       sync() { return 0; }
       ^

Cum funcționează evaluarea?

www.pbinfo.ro permite evaluarea a două tipuri de probleme:

  • probleme la care rezolvarea presupune scrierea unui program complet
  • probleme la care rezolvarea presupune scrierea unei secvențe de program - câteva instrucțiuni, o listă de declarații, una sau mai multe funcții, etc.

Problema LimbajFormal face parte din prima categorie. Soluția propusă de tine va fi evaluată astfel:

  • Programul sursă este compilat folosind compilatorul corespunzător. Dacă în urma compilării se obțin erori sau avertismente, acestea sunt afișate în această pagină.
  • Dacă programul a fost compilat, executabilul obținut va fi rulat, furnizându-i-se unul sau mai multe seturi de date de intrare, în concordanță cu restricțiile specifice problemei. Pentru fiecare set de date se obține un anumit punctaj, în raport cu corectitudinea soluției tale.

Suma punctajelor acordate pe testele utilizate pentru verificare este 100. Astfel, soluția ta poate obține cel mult 100 de puncte, caz în care se poate considera corectă.