Я пытаюсь попробовать некоторые рандомизированные параметры для minisat при вызове программы с помощью system()
, Я никогда не делал ничего подобного раньше и должен признать, что я довольно потерян.
Например, я могу сделать как:
system("minisat -luby -rinc=1.5 <dataset here>")
Как я могу рандомизировать это, чтобы быть -luby
или же -no-luby
и рандомизировать 1.5
значение для -rinc
?
Вам нужно построить команду динамически с переменными.
bool luby = true; // if you want -no-luby, set it to be false
double rinc = 1.5; // set it to be other values
char command[1024];
std::string luby_str = (luby ? "luby" : "no-luby");
std::snprintf(command, sizeof(command), "minisat -%s -rinc=%f", luby_str.c_str(), rinc);
system(command);
Как указывает @RemyLebeau, стиль C ++ должен быть лучше.
std::string command;
std::ostringstream os;
os << "minisat -" << luby_str << " -rinc=" << rinc;
system(command.c_str());
Система — это только нормальная функция, которая получает строку в стиле c в качестве параметра. Вы можете создать строку самостоятельно.
bool luby = true;
double rinc = 1.5;
system((std::string("minisat -")+(luby?"luby":"no-luby")+" -rinc="+std::to_string(rinc)).c_str());
Здесь вы можете попробовать использовать генератор случайных строк, например, для создания случайной команды:
#include <iostream>
#include <cstdlib>
#include <ctime>
#include <random>
#include <string>
std::string getCommand()
{
std::string result = "minisat ";
srand(time(0));
int lubyflag = rand() % 2; //Not the best way to generate random nums
//better to use something from <random>
if (lubyflag == 1)
{
result += "-luby ";
} else
{
result += "-no-luby ";
}
double lower_bound = 0; //Now were using <random>
double upper_bound = 2; //Or whatever range
std::uniform_real_distribution<double> unif(lower_bound,upper_bound);
std::default_random_engine re;
double rinc_double = unif(re);
result += "-rinc=" + rinc_double;
return result;
}
int main()
{
std::string command = getCommand();
system(command.c_str());
}
Если вы хотите все контролировать, сделайте это:
bool flaga = false;
double valueb = 1.5;
system(std::string("ministat " + ((flaga) ? "-luby " : "-no-luby ") +
"rinc= " + std::to_string(valueb)).c_str());