может
{string} cars = {"bently" ,"honda" ,"bmw" ,"audi"};
dvar int x[cars][cars] in 0..1;
subject to
{
forall(ordered i,j in cars)
x[i][j] + x[j][i] == 1;
}
помочь?
Или
using CP;
{string} cars = {"bently" ,"honda" ,"bmw" ,"audi"};
dvar int position[cars] in 0..3;
subject to
{
allDifferent(position);
}
?
Да это. Wiki Tomcat ссылается на документацию о коде Samba, который позволяет Tomcat сделать аутентификацию NTLM.
Сообщество Samba реализовало фильтр Сервлета, который позволяет athenticate пользователям agains контроллер домена.
люди из проекта JCIFS (который упоминается в ответе mkoller) говорят, что предоставляемое ими решение несовместимо с NTLMv2 ...
http://jcifs.samba.org/ src / docs / ntlmhttpauth.html
вы должны проверить http://www.ioplex.com/jespa.html , который не является бесплатным ...
С другой стороны, если Вы находитесь на Windows Server, у Вас может быть IIS, делают аутентификацию и перенаправляют запросы к Tomcat. Вот документация: http://tomcat.apache.org/connectors-doc/webserver_howto/iis.html
Да, теперь это возможно с помощью Waffle Tomcat Authenticator, который поддерживает согласование (NTLM v1, v2 и т. Д. И Kerberos).
Waffle работает только на сервере Windows